diff options
| -rwxr-xr-x | utils/NewNightlyTest.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/NewNightlyTest.pl b/utils/NewNightlyTest.pl index 3def3902ed..e433ac05fc 100755 --- a/utils/NewNightlyTest.pl +++ b/utils/NewNightlyTest.pl @@ -152,6 +152,7 @@ while (scalar(@ARGV) and ($_ = $ARGV[0], /^[-+]/)) { if (/^-disable-jit$/) { $PROGTESTOPTS .= " DISABLE_JIT=1"; $CONFIGUREARGS .= " --disable-jit"; next; } if (/^-disable-cbe$/) { $PROGTESTOPTS .= " DISABLE_CBE=1"; next; } + if (/^-test-opts$/) { $PROGTESTOPTS .= "$ARGV[0]"; shift; next; } if (/^-verbose$/) { $VERBOSE = 1; next; } if (/^-debug$/) { $DEBUG = 1; next; } if (/^-nice$/) { $NICE = "nice "; next; } |