diff options
Diffstat (limited to 'utils/NightlyTest.pl')
| -rwxr-xr-x | utils/NightlyTest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 50756bf..8ab3a59 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 = "<h3><font color='red'>Build error: compilation " . "<a href=\"$DATE-Build-Log.txt\">aborted</a></font></h3>"; } |