Change permission of the ssh key

[tsan11-tsan11rec-docker.git] / scripts / build.sh

diff --git a/scripts/build.sh b/scripts/build.sh
index d3aef3eab582be5198b7dd71f5eb76b41e74ce92..e469e600d4736a2c01424a5399a7a697c0bf263e 100755 (executable)
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -24,6 +24,7 @@ make test
 cd /data/tsan11-benchmarks/silo
 make clean
 MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
+MODE=perf DEBUG=1 CHECK_INVARIANTS=1 USE_MALLOC_MODE=0 make -j dbtest
 
 # Data structure benchmarks
 cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks