From: Mark Wielaard <mark@klomp.org>
Date: Sun, 14 Apr 2024 19:42:12 +0000 (+0200)
Subject: nightly/bin/nightly: Use grep -E instead of egrep
X-Git-Tag: VALGRIND_3_23_0~41
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=dc8cbbf3bd8c3fc8b7771baf2ad0a16249f23b51;p=thirdparty%2Fvalgrind.git

nightly/bin/nightly: Use grep -E instead of egrep
---

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