about summary refs log tree commit diff stats
path: root/test_layers
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2018-03-13 00:18:05 -0700
committerKartik K. Agaram <vc@akkartik.com>2018-03-13 00:18:05 -0700
commit7e977235d4bd341b1d5d5e125affb0646199f16c (patch)
treeb31706748e7992a17e9820f5470f8ea61390d536 /test_layers
parentf716d791d747e6a7c0e317723082b0491cbbfac2 (diff)
downloadmu-7e977235d4bd341b1d5d5e125affb0646199f16c.tar.gz
4218 - test build alternatives in CI
Diffstat (limited to 'test_layers')
-rwxr-xr-xtest_layers8
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