Searched refs:oldline (Results 1 – 1 of 1) sorted by relevance
244 if test "$newline" != "$oldline" && echo $newline | grep -q ' [0-9]\+us : '253 if test "$newline" != "$oldline" -a "$last_ts" -lt $((seconds + $TORTURE_SHUTDOWN_GRACE))
