diff options
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test_layers b/test_layers index 73c00597..d23776da 100755 --- a/test_layers +++ b/test_layers @@ -15,9 +15,11 @@ # test_layers app set -e +test "$BUILD" || export BUILD=build1 + if [[ $1 == one-off ]] then - ./build1 + ./$BUILD ./mu_bin test || exit 1 exit 0 fi @@ -29,7 +31,7 @@ do 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 - ./build1 --until $f || exit 1 + ./$BUILD --until $f || exit 1 # valgrind requires Linux valgrind --leak-check=yes --num-callers=40 -q --error-exitcode=1 ./mu_bin test || exit 1 # run on Mac OS without valgrind, and with a hacky fix for the coarser clock @@ -39,7 +41,7 @@ done # Layers for Mu apps without Valgrind ./clean -./build1 +./$BUILD if [[ ! $1 || $1 == chessboard ]] then |