diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-23 20:39:14 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-23 20:39:14 -0700 |
commit | 785f85f5e6deb494e9836a7f4cea55eb60bc1d9e (patch) | |
tree | d5d881acfa2bb42f6ab2f1cdc94735d60d452710 | |
parent | 56ce557708c8387dc0fae590f10e4db62d409fa5 (diff) | |
download | mu-785f85f5e6deb494e9836a7f4cea55eb60bc1d9e.tar.gz |
1152
-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 |