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

diff --git a/nightly/bin/nightly b/nightly/bin/nightly
index e41510e51e86aa5a02b866b3a1311db62fb6a4cb..bb943eb8016e5e7318a5d271096b282a4e6938a1 100755 (executable)
--- 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