diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-05-25 12:47:32 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-05-25 12:47:49 -0700 |
commit | 9531333e7ff6381e51e902d90e8ebc3e2bbb2208 (patch) | |
tree | 828098855dbfb456ea5cf7653e0316c34582d248 /test_layers | |
parent | f7d3dc0eea180a6e5c233fdc493ad8f6cf1022e4 (diff) | |
download | mu-9531333e7ff6381e51e902d90e8ebc3e2bbb2208.tar.gz |
4248 -- simplify CI
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 2 |
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 |