about summary refs log tree commit diff stats
path: root/test_layers
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-05-25 12:47:32 -0700
committerKartik Agaram <vc@akkartik.com>2018-05-25 12:47:49 -0700
commit9531333e7ff6381e51e902d90e8ebc3e2bbb2208 (patch)
tree828098855dbfb456ea5cf7653e0316c34582d248 /test_layers
parentf7d3dc0eea180a6e5c233fdc493ad8f6cf1022e4 (diff)
downloadmu-9531333e7ff6381e51e902d90e8ebc3e2bbb2208.tar.gz
4248 -- simplify CI
Diffstat (limited to 'test_layers')
-rwxr-xr-xtest_layers2
1 files changed, 1 insertions, 1 deletions
diff --git a/test_layers b/test_layers
index 9cbc12e5..47cb01b0 100755
--- a/test_layers
+++ b/test_layers
@@ -30,7 +30,7 @@ do
   if [[ $f < $1 ]]; then continue; fi
   if [[ $2 && $f > $2 ]]; then exit 0; fi
   echo "=== $f"
-  rm -rf .build mu.cc mu_bin core.mu  # force full rebuild for top-level, but not subsidiary tools like tangle and cleave
+  ./clean top-level  # preserve subsidiary tools like tangle and cleave
   ./$BUILD --until $f || exit 1
   # valgrind requires Linux
   valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test || exit 1