Searched refs:terminal_initted (Results 1 – 1 of 1) sorted by relevance
412 int terminal_initted; in startup_inferior() local422 terminal_initted = 0; in startup_inferior()445 if (!terminal_initted) in startup_inferior()458 terminal_initted = 1; in startup_inferior()