commit ecb0b7180e88f87a08f0d659edd451c7a6b54b7b
author Saurab Dulal <sdulal@memphis.edu> Fri Aug 18 01:48:54 2023 +0000
committer Davide Pesavento <davidepesa@gmail.com> Thu Aug 17 21:48:54 2023 -0400
tree b3985fd0df8ce45d54f634e272f8f69258d46d6f
parent 771a0de40cbf858ad60051a84a5e53bb84f8ce3e

Prepare release 0.7.0

Change-Id: I3d707d1f1684879fa9133ac87d1b53710465dea1

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index ee8f4ba..f2ba812 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -27,7 +27,7 @@
 fi
 
 # Build in debug mode with tests
-./waf --color=yes configure --debug --with-psync --with-chronosync --with-svs --with-tests $ASAN $COVERAGE
+./waf --color=yes configure --debug --with-chronosync --with-psync --with-svs --with-tests $ASAN $COVERAGE
 ./waf --color=yes build
 
 # (tests will be run against the debug version)