Lines Matching refs:TIME_OUT

65 TIME_OUT="n"  # "n" (disabled), "timeout" (use timeout), "gdb" (use gdb)
320         TIME_OUT="n"
325         TIME_OUT="n"
339         TIME_OUT="n"
344         TIME_OUT="n"
481   TIME_OUT="timeout"
1214     if [ "$TIME_OUT" = "timeout" ]; then
1304     if [ "$TIME_OUT" = "gdb" ]; then
1307         TIME_OUT="timeout"
1310         TIME_OUT="timeout"
1316           TIME_OUT="timeout"
1321     if [ "$TIME_OUT" = "timeout" ]; then
1400       if [ "$TIME_OUT" != "gdb" ]; then
1406         if [ $exit_value = 124 ] && [ "$TIME_OUT" = "timeout" ]; then