about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xcpp/valgrind_all7
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