diff options
Diffstat (limited to 'cpp')
-rwxr-xr-x | cpp/valgrind_all | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/cpp/valgrind_all b/cpp/valgrind_all deleted file mode 100755 index 4117dde0..00000000 --- a/cpp/valgrind_all +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -for f in [0-9]* -do - echo "=== $f" - ./build_and_test_until $f || exit 0 -done |