diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/NightlyTest.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 85dbae7f6c..50756bf3f6 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -197,7 +197,8 @@ my $BuildTime = $BuildTimeU+$BuildTimeS; # BuildTime = User+System my $BuildWallTime = GetRegexNum "^real", 1, "([0-9.]+)","$Prefix-Build-Log.txt"; my $BuildError = ""; -if (`grep '^gmake[^:]*: .*Error' $Prefix-Build-Log.txt | wc -l` + 0) { +if (`grep '^gmake[^:]*: .*Error' $Prefix-Build-Log.txt | wc -l` + 0 || + `grep '^gmake: \*\*\*.*Stop.`+0) { $BuildError = "<h3><font color='red'>Build error: compilation " . "<a href=\"$DATE-Build-Log.txt\">aborted</a></font></h3>"; } |