Searched refs:history_filename (Results 1 – 1 of 1) sorted by relevance
1097 static char *history_filename; variable1907 if (write_history_p && history_filename)1908 write_history (history_filename);2281 history_filename = savestring (tmpenv, strlen(tmpenv)); in initialize_history()2282 else if (!history_filename) { in initialize_history()2286 history_filename = concat (current_directory, "/.gdb_history", NULL); in initialize_history()2288 read_history (history_filename); in initialize_history()2431 (add_set_cmd ("filename", no_class, var_filename, (char *)&history_filename, in initialize_main()