diff --git a/scripts/test_all b/scripts/test_all
index b87f434..2c9593c 100755
--- a/scripts/test_all
+++ b/scripts/test_all
@@ -82,3 +82,7 @@ done
 
 echo "done"
 kill $$
+
+# BUGS
+#
+# doesn't kill the last test