From dc8cbbf3bd8c3fc8b7771baf2ad0a16249f23b51 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Sun, 14 Apr 2024 21:42:12 +0200 Subject: [PATCH] nightly/bin/nightly: Use grep -E instead of egrep --- nightly/bin/nightly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nightly/bin/nightly b/nightly/bin/nightly index e41510e51e..bb943eb801 100755 --- a/nightly/bin/nightly +++ b/nightly/bin/nightly @@ -149,7 +149,7 @@ for logfile in old new ; do # Change 68cf3b5dbfecb96c618c371359000daaaf4293b5 added time information to the # logs, which is fairly variable. The sed filter deletes this so that we don't # generate spurious diffs. - egrep -q '^== [0-9]+ tests' $logfile.verbose && ( + grep -E -q '^== [0-9]+ tests' $logfile.verbose && ( echo >> $logfile.short echo "Regression test results follow" >> $logfile.short echo >> $logfile.short -- 2.39.5