diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:15:27 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:15:27 -0700 |
commit | 6ff112a15d213bb955195e488aaa7384dcf9049e (patch) | |
tree | f30c63984b776cc8926ee6bd8fd017dab3c9b16f | |
parent | d822d111bf3cd7b0d187b0238bd893b142c7dd34 (diff) | |
download | mu-6ff112a15d213bb955195e488aaa7384dcf9049e.tar.gz |
3454
Yet another fix for CI.
-rwxr-xr-x | test_layers | 2 |
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 |