diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2018-03-12 23:24:53 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2018-03-12 23:26:10 -0700 |
commit | f0cf7af7d8e28ce957754873cc16c2ac42138466 (patch) | |
tree | 4876ae0d642124c9d397ee23aca64f184c1a9368 /test_layers | |
parent | 2b9b1cf3867a63dda0a5ac92a5ad8c88fce6f0d1 (diff) | |
download | mu-f0cf7af7d8e28ce957754873cc16c2ac42138466.tar.gz |
4216 - include simpler alternative to build script
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test_layers b/test_layers index e004b796..73c00597 100755 --- a/test_layers +++ b/test_layers @@ -17,7 +17,7 @@ set -e if [[ $1 == one-off ]] then - ./build + ./build1 ./mu_bin test || exit 1 exit 0 fi @@ -29,7 +29,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 - ./build --until $f || exit 1 + ./build1 --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 +39,7 @@ done # Layers for Mu apps without Valgrind ./clean -./build +./build1 if [[ ! $1 || $1 == chessboard ]] then |