Lines Matching refs:TIME_OUT
42 TIME_OUT="gdb" # "n" (disabled), "timeout" (use timeout), "gdb" (use gdb)
145 TIME_OUT="n"
150 TIME_OUT="n"
535 if [ "$TIME_OUT" = "gdb" ]; then
538 TIME_OUT="timeout"
541 TIME_OUT="timeout"
547 TIME_OUT="timeout"
552 if [ "$TIME_OUT" = "timeout" ]; then
591 if [ "$TIME_OUT" != "gdb" ]; then
596 if [ ${PIPESTATUS[0]} = 124 ] && [ "$TIME_OUT" = "timeout" ]; then
