use rumpstop instead of kill

diff --git a/tests/runtests.sh b/tests/runtests.sh
index ded4504281407b085971a733d1e2a874c7b26cc0..1087e9bda14d0de636bec63d42937519f06d9562 100755 (executable)
--- a/tests/runtests.sh
+++ b/tests/runtests.sh
@@ -30,6 +30,7 @@
 TESTS='hello/hello basic/ctor_test basic/pthread_test basic/tls_test'
 
 RUMPRUN=$(pwd)/../app-tools/rumprun
+RUMPSTOP=$(pwd)/../app-tools/rumpstop
 
 STARTMAGIC='=== FOE RUMPRUN 12345 TES-TER 54321 ==='
 ENDMAGIC='=== RUMPRUN 12345 TES-TER 54321 EOF ==='
@@ -95,7 +96,7 @@ runguest ()
        done
        echo ">> Result: ${TEST_RESULT} (${TEST_ECODE})"
 
-       kill ${cookie}
+       ${RUMPSTOP} ${cookie}
 }
 
 getoutput ()