Lines Matching refs:TIME_OUT
58 TIME_OUT="gdb" # "n" (disabled), "timeout" (use timeout), "gdb" (use gdb)
276 TIME_OUT="n"
280 TIME_OUT="n"
294 TIME_OUT="n"
303 TIME_OUT="n"
1083 if [ "$TIME_OUT" = "gdb" ]; then
1086 TIME_OUT="timeout"
1089 TIME_OUT="timeout"
1095 TIME_OUT="timeout"
1100 if [ "$TIME_OUT" = "timeout" ]; then
1152 if [ "$TIME_OUT" != "gdb" ]; then
1158 if [ $exit_value = 124 ] && [ "$TIME_OUT" = "timeout" ]; then
