about summary refs log tree commit diff stats
path: root/test_layers
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-06 17:13:04 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-06 17:13:04 -0700
commitb4785580be3fd46f18e21ee8c92759d5481432ed (patch)
treee90d8c769e46c6afb204f2378a39ddcfe9ccc89a /test_layers
parentd9ee2076d94a5eb8c502ff065295ac921fae40e2 (diff)
downloadmu-b4785580be3fd46f18e21ee8c92759d5481432ed.tar.gz
3450
Purge remaining `makefile`s, without breaking CI.
Diffstat (limited to 'test_layers')
-rwxr-xr-xtest_layers3
1 files changed, 2 insertions, 1 deletions
diff --git a/test_layers b/test_layers
index 2d1dae8e..a59f4064 100755
--- a/test_layers
+++ b/test_layers
@@ -27,7 +27,8 @@ do
   if [[ $f < $1 ]]; then continue; fi
   if [[ $2 && $f > $2 ]]; then exit 0; fi
   echo "=== $f"
-  ./build_until $f || exit 1
+  rm -rf .build mu.cc mu_bin  # force full rebuild for top-level, but not subsidiary tools like tangle and cleave
+  ./build --until $f || exit 1
   valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test || exit 1
 done