about summary refs log tree commit diff stats
path: root/build_and_test_until
diff options
context:
space:
mode:
Diffstat (limited to 'build_and_test_until')
-rwxr-xr-xbuild_and_test_until6
1 files changed, 3 insertions, 3 deletions
diff --git a/build_and_test_until b/build_and_test_until
index e001ed5e..1c454ad1 100755
--- a/build_and_test_until
+++ b/build_and_test_until
@@ -6,6 +6,6 @@ set -e
 set -v
 make tangle/tangle
 make enumerate/enumerate
-./tangle/tangle $(./enumerate/enumerate --until $* |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc
-cat /dev/null $(./enumerate/enumerate --until $* |grep '.mu$') > core.mu
-CXX=${CXX:-clang++} CFLAGS=${CFLAGS:-"-O3 -fsanitize=undefined"} make valgrind
+./tangle/tangle $(./enumerate/enumerate --until $1 |grep -v '.mu$') |grep -v "^\s*//:" > mu.cc
+cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu
+CXX=${CXX:-clang++} CFLAGS=${CFLAGS:-"-O3 -fsanitize=undefined"} make ${2:-valgrind}