Searched refs:TIME_OUT (Results 1 – 1 of 1) sorted by relevance
45 TIME_OUT="gdb" # "n" (disabled), "timeout" (use timeout), "gdb" (use gdb)180 TIME_OUT="n"185 TIME_OUT="n"744 if [ "$TIME_OUT" = "gdb" ]; then747 TIME_OUT="timeout"750 TIME_OUT="timeout"756 TIME_OUT="timeout"761 if [ "$TIME_OUT" = "timeout" ]; then812 if [ "$TIME_OUT" != "gdb" ]; then817 if [ ${PIPESTATUS[0]} = 124 ] && [ "$TIME_OUT" = "timeout" ]; then