Searched refs:kruntime (Results 1 – 1 of 1) sorted by relevance
95 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`101 elif test $kruntime -ge $seconds || test -f "$resdir/../STOP.1"108 if test $kruntime -lt $seconds110 echo Completed in $kruntime vs. $seconds >> $resdir/Warnings 2>&1143 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`164 if test $kruntime -ge $((seconds + $TORTURE_SHUTDOWN_GRACE))169 if test $must_continue = no && test $kruntime -ge $((seconds + $TORTURE_SHUTDOWN_GRACE))171 echo "!!! PID $qemu_pid hung at $kruntime vs. $seconds seconds `date`" >> $resdir/Warnings 2>&1