about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-06 20:41:10 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-06 20:41:10 -0700
commitd822d111bf3cd7b0d187b0238bd893b142c7dd34 (patch)
tree0932ef1bbf32b806bede82abf69c721c51da9a5f
parent6acea7626e7ab335d9af2c75510f08e9019e75c9 (diff)
downloadmu-d822d111bf3cd7b0d187b0238bd893b142c7dd34.tar.gz
3453
-rwxr-xr-xtest_layers4
1 files changed, 4 insertions, 0 deletions
diff --git a/test_layers b/test_layers
index c0721d92..536dc9d2 100755
--- a/test_layers
+++ b/test_layers
@@ -29,7 +29,11 @@ do
   echo "=== $f"
   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 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
+#?   ./mu_bin test || exit 1
+#?   sleep 1
 done
 
 # Layers for Mu apps without Valgrind