diff options
| -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 17d0badb8d..d41deda395 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -417,7 +417,7 @@ my $BuildWallTime = GetRegexNum "^real", 1, "([0-9.]+)","$BuildLog"; my $BuildError = ""; if (`grep '^gmake[^:]*: .*Error' $BuildLog | wc -l` + 0 || `grep '^gmake: \*\*\*.*Stop.' $BuildLog | wc -l`+0) { - $BuildError = "<h3><font color='red'>Build error: compilation " . + $BuildError = "<h3><font color='red'>error: compilation " . "<a href=\"$DATE-Build-Log.txt\">aborted</a></font></h3>"; if ($VERBOSE) { print "BUILD ERROR\n"; } } |