diff options
Diffstat (limited to 'test/run-test')
| -rwxr-xr-x | test/run-test | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/run-test b/test/run-test index e9dd86acaa..6b8f00748b 100755 --- a/test/run-test +++ b/test/run-test @@ -171,6 +171,11 @@ while true; do option="$1" run_args="${run_args} --runtime-option $option" shift + elif [ "x$1" = "x--gdb-arg" ]; then + shift + gdb_arg="$1" + run_args="${run_args} --gdb-arg $gdb_arg" + shift elif [ "x$1" = "x--debug" ]; then run_args="${run_args} --debug" shift |