diff options
-rwxr-xr-x | cpp/valgrind_all | 7 |
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 |