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 a982114d09..7fb857095f 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -170,7 +170,7 @@ my $BuildTimeS = GetRegex "([0-9.]+)", `grep '^sys' $Prefix-Build-Log.txt`; my $BuildWallTime = GetRegex "([0-9.]+)", `grep '^real' $Prefix-Build-Log.txt`; my $BuildTime = $BuildTimeU+$BuildTimeS; # BuildTime = User+System my $BuildError = ""; -if (`grep '^gmake: .*Error' $Prefix-Build-Log.txt | wc -l` + 0) { +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>"; } |