From: weiyu <weiyuluo1232@gmail.com>
Date: Wed, 16 Dec 2020 08:57:28 +0000 (-0800)
Subject: Build two versions of Silo, a debug version that checks invariants, and a version... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bc2a60316b4148797f26bfa51a838136cc77e680;p=tsan11-tsan11rec-docker.git

Build two versions of Silo, a debug version that checks invariants, and a version that does not check invariants
---

diff --git a/scripts/build.sh b/scripts/build.sh
index d3aef3e..e469e60 100755
--- 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