Searched refs:debug_greedy (Results 1 – 1 of 1) sorted by relevance
17 static int debug_greedy = FALSE; // batch mode debugging: don't save variable130 if (!debug_greedy) in do_debug()725 debug_greedy = TRUE; in ex_debuggreedy()727 debug_greedy = FALSE; in ex_debuggreedy()