Searched refs:no_gdb (Results 1 – 4 of 4) sorted by relevance
396 if (crawl_state.no_gdb) in call_gdb()397 return (void)fprintf(file, "%s\n", crawl_state.no_gdb); in call_gdb()
70 no_gdb = "Non-UNIX Platform -> not running gdb."; in game_state()72 no_gdb = access(GDB_PATH, 1) ? "gdb not executable." : 0; in game_state()
63 const char* no_gdb; // reason for not running gdb member
5133 crawl_state.no_gdb = 0; in parse_args()5138 crawl_state.no_gdb = "GDB disabled via the command line."; in parse_args()