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 ed0fea735d..9fc26cb852 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -425,7 +425,7 @@ if (`grep '^gmake[^:]*: .*Error' $BuildLog | wc -l` + 0 || if ($BuildError) { $NODEJAGNU=1; } my $DejangnuTestResults; # String containing the results of the dejagnu -if($RUNDEJAGNU) { +if(!$NODEJAGNU) { if($VERBOSE) { print "DEJAGNU FEATURE/REGRESSION TEST STAGE\n"; } my $dejagnu_output = "$DejagnuTestsLog"; |