Searched refs:write_history_p (Results 1 – 1 of 1) sorted by relevance
975 static int write_history_p; variable1494 if (write_history_p && history_filename) in quit_target()1745 write_history_p = 0; in init_main()1809 (add_set_cmd ("save", no_class, var_boolean, (char *) &write_history_p, in init_main()