diff options
Diffstat (limited to 'test/1914-get-local-instance')
| -rw-r--r--[-rwxr-xr-x] | test/1914-get-local-instance/run.py (renamed from test/1914-get-local-instance/run) | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/1914-get-local-instance/run b/test/1914-get-local-instance/run.py index 51875a7e86..ce3a55a474 100755..100644 --- a/test/1914-get-local-instance/run +++ b/test/1914-get-local-instance/run.py @@ -14,5 +14,7 @@ # See the License for the specific language governing permissions and # limitations under the License. -# Ask for stack traces to be dumped to a file rather than to stdout. -./default-run "$@" --jvmti + +def run(ctx, args): + # Ask for stack traces to be dumped to a file rather than to stdout. + ctx.default_run(args, jvmti=True) |