diff options
| -rwxr-xr-x | test/etc/run-test-jar | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/etc/run-test-jar b/test/etc/run-test-jar index 8b4425360e..25b8b4b55b 100755 --- a/test/etc/run-test-jar +++ b/test/etc/run-test-jar @@ -1033,7 +1033,7 @@ else # before abort. However, dumping threads might deadlock, so we also use the "-k" # option to definitely kill the child. # Note: Using "--foreground" to not propagate the signal to children, i.e., the runtime. - cmdline="timeout --foreground -k 120s -s SIGRTMIN+2 ${TIME_OUT_VALUE}s timeout_dumper $cmdline" + cmdline="timeout --foreground -k 120s -s SIGRTMIN+2 ${TIME_OUT_VALUE}s ${TIMEOUT_DUMPER} $cmdline" fi if [ "$DEV_MODE" = "y" ]; then |