report bug

2026-01-16 16:11:19 -05:00
parent e097d428b3
commit 746da2e21f
1 changed files with 4 additions and 0 deletions
--- a/scripts/test_all
+++ b/scripts/test_all
@@ -82,3 +82,7 @@ done

 echo "done"
 kill $$
+
+# BUGS
+#
+# doesn't kill the last test