diff --git a/tool/rump b/tool/rump index 2166a0d18..3364ff8a4 100755 --- a/tool/rump +++ b/tool/rump @@ -32,6 +32,7 @@ trap_exit() { fi [ -d "$RUMP_TMP" ] && rm -rf $RUMP_TMP + pkill -P $$ }