3454

Yet another fix for CI.

1 files changed, 1 insertions, 1 deletions

diff --git a/test_layers b/test_layers
index 536dc9d2..69d9818e 100755
--- a/test_layers
+++ b/test_layers
@@ -27,7 +27,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  # force full rebuild for top-level, but not subsidiary tools like tangle and cleave
+  rm -rf .build mu.cc mu_bin core.mu  # force full rebuild for top-level, but not 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