diff options
| -rwxr-xr-x | utils/NightlyTest.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 67da24f447..be1363bfcb 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -404,6 +404,8 @@ if (`grep '^gmake[^:]*: .*Error' $BuildLog | wc -l` + 0 || if ($VERBOSE) { print "BUILD ERROR\n"; } } +if ($BuildError) { $NOFEATURES = 1; $NOREGRESSIONS = 1; } + # Get results of feature tests. my $FeatureTestResults; # String containing the results of the feature tests my $FeatureTime; # System+CPU Time for feature tests |