diff options
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 3 |
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 |