Searched refs:last_readline_init_file (Results 1 – 1 of 1) sorted by relevance
753 static char *last_readline_init_file = (char *)NULL; variable832 filename = last_readline_init_file;871 if (include_level == 0 && filename != last_readline_init_file)873 FREE (last_readline_init_file);874 last_readline_init_file = savestring (filename);