diff options
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/NewNightlyTest.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/utils/NewNightlyTest.pl b/utils/NewNightlyTest.pl index 2978f29..3def390 100755 --- a/utils/NewNightlyTest.pl +++ b/utils/NewNightlyTest.pl @@ -737,7 +737,6 @@ $BuildWallTime=-1 unless $BuildWallTime; my $BuildError = 0, $BuildStatus = "OK"; if ($NOBUILD) { $BuildStatus = "Skipped by user"; - $BuildError = 1; } elsif (`grep '^$MAKECMD\[^:]*: .*Error' $BuildLog | wc -l` + 0 || `grep '^$MAKECMD: \*\*\*.*Stop.' $BuildLog | wc -l`+0) { |