diff options
Diffstat (limited to 'test/etc/run-test-jar')
| -rwxr-xr-x | test/etc/run-test-jar | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/etc/run-test-jar b/test/etc/run-test-jar index 907218a84e..04eea4e64c 100755 --- a/test/etc/run-test-jar +++ b/test/etc/run-test-jar @@ -175,6 +175,7 @@ if [ "x$1" = "x" ] ; then MAIN="Main" else MAIN="$1" + shift fi if [ "$ZYGOTE" = "" ]; then |