Searched refs:last_readline_init_file (Results 1 – 1 of 1) sorted by relevance
626 static char *last_readline_init_file = (char *)NULL; variable705 filename = last_readline_init_file;742 if (include_level == 0 && filename != last_readline_init_file)744 FREE (last_readline_init_file);745 last_readline_init_file = savestring (filename);