Searched refs:oldline (Results 1 – 1 of 1) sorted by relevance
135 oldline="`tail $resdir/console.log`"153 if test "$newline" != "$oldline" && echo $newline | grep -q ' [0-9]\+us : '162 …if test "$newline" != "$oldline" && test "$last_ts" -lt $((seconds + $TORTURE_SHUTDOWN_GRACE)) && …
Completed in 3 milliseconds