diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 50756bf3f6e..8ab3a59929f 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -198,7 +198,7 @@ my $BuildWallTime = GetRegexNum "^real", 1, "([0-9.]+)","$Prefix-Build-Log.txt"; my $BuildError = ""; if (`grep '^gmake[^:]*: .*Error' $Prefix-Build-Log.txt | wc -l` + 0 || - `grep '^gmake: \*\*\*.*Stop.`+0) { + `grep '^gmake: \*\*\*.*Stop.' $Prefix-Build-Log.txt | wc -l`+0) { $BuildError = "

Build error: compilation " . "aborted

"; }