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