update script

[c11concurrency-benchmarks.git] / silo / compile.sh

diff --git a/silo/compile.sh b/silo/compile.sh
index f82223cecb743cfb34c13d3340e3e177c72b773f..ac0c2c90828dec3f5670483bc829f1b9da0c043c 100755 (executable)
--- a/silo/compile.sh
+++ b/silo/compile.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
-MODE=perf CHECK_INVARIANTS=1 make -j
-MODE=perf CHECK_INVARIANTS=1 make -j dbtest
 
+#MODE=perf CHECK_INVARIANTS=0 make -j
+MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest