Searched refs:reset_history (Results 1 – 3 of 3) sorted by relevance
36 int reset_history; variable444 reset_history = 1; in main()538 if (reset_history) in main()
36 int reset_history; variable573 reset_history = 1; in main()653 if (reset_history) in main()
40 int reset_history; variable835 reset_history = 1; in main()939 if (reset_history) in main()