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 8e2c12e..daac2a4 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -132,7 +132,7 @@ while (scalar(@ARGV) and ($_ = $ARGV[0], /^[-+]/)) { if (/^-notest$/) { $NOTEST = 1; $NORUNNINGTESTS = 1; next; } if (/^-norunningtests$/) { $NORUNNINGTESTS = 1; next; } if (/^-parallel$/) { $MAKEOPTS = "-j2 -l3.0"; next; } - if (/^-enable-linscan$/) { $ENABLELINEARSCAN = "ENABLE_LINEARSCAN=1"; } + if (/^-enable-linscan$/) { $ENABLELINEARSCAN = "ENABLE_LINEARSCAN=1"; next; } print "Unknown option: $_ : ignoring!\n"; } |