Merge branch 'master' of /home/git/concurrency-benchmarks

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

diff --git a/silo/compile.sh b/silo/compile.sh
index f046c00d209d919aa0575bb38c73ebe2b46dd5da..ac0c2c90828dec3f5670483bc829f1b9da0c043c 100755 (executable)
--- a/silo/compile.sh
+++ b/silo/compile.sh
@@ -1,6 +1,4 @@
 #!/bin/bash
-export PATH=`pwd`/..:$PATH
-source ../run
-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