diff options
| -rwxr-xr-x | utils/NightlyTest.pl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 6582969db3..acf32165b9 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -198,11 +198,10 @@ my $BuildWallTime = GetRegexNum "^real", 1, "([0-9.]+)","$Prefix-Build-Log.txt"; my $BuildError = ""; if (`grep '^gmake[^:]*: .*Error' $Prefix-Build-Log.txt | wc -l` + 0) { - $BuildError = "<h3>Build error: compilation <a href=\"$DATE-Build-Log.txt\">" - . "aborted</a></h3>"; + $BuildError = "<h3><font color='red'>Build error: compilation " . + "<a href=\"$DATE-Build-Log.txt\">aborted</a></font></h3>"; } - # # Get warnings from the build # |