benchmark silo added

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

diff --git a/silo/compile.sh b/silo/compile.sh
new file mode 100755 (executable)
index 0000000..f82223c
--- /dev/null
+++ b/silo/compile.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+MODE=perf CHECK_INVARIANTS=1 make -j
+MODE=perf CHECK_INVARIANTS=1 make -j dbtest
+