Searched refs:current_readline_init_file (Results 1 – 1 of 1) sorted by relevance
756 static const char *current_readline_init_file; variable861 current_readline_init_file = filename;924 fprintf (stderr, "readline: %s: line %d: %s\n", current_readline_init_file,1085 old_init_file = current_readline_init_file;1094 current_readline_init_file = old_init_file;