commit ba8a4ed2d21d881da1c3548ea8ed93e46f251e05
author Davide Pesavento <davidepesa@gmail.com> Wed Oct 13 21:28:43 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Wed Oct 13 21:58:29 2021 -0400
tree a3b3b9e83c379f35d8246f5b688fd8118ed606eb
parent 7ae8b08fc28908e34fa1f2c834b9009822c411ff

ci: replace Travis with GitHub Actions

Change-Id: I6316bc7872fe25644dceafb1e2e2119c9c6e5ac3

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index b09f968..99eb066 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -28,7 +28,7 @@
 fi
 
 # Build in debug mode with tests
-./waf --color=yes configure --with-chronosync --debug --with-tests $ASAN $COVERAGE
+./waf --color=yes configure --debug --with-chronosync --with-tests $ASAN $COVERAGE
 ./waf --color=yes build -j$WAF_JOBS
 
 # (tests will be run against the debug version)