about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xcpp/valgrind_all7
1 files changed, 7 insertions, 0 deletions
diff --git a/cpp/valgrind_all b/cpp/valgrind_all
new file mode 100755
index 00000000..4117dde0
--- /dev/null
+++ b/cpp/valgrind_all
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+for f in [0-9]*
+do
+  echo "=== $f"
+  ./build_and_test_until $f || exit 0
+done