commit 40491df37bd0f49cdc00f4fcc3334f695520e910
author Alexander Afanasyev <aa@cs.fiu.edu> Fri Mar 09 16:29:52 2018 -0500
committer Alexander Afanasyev <aa@cs.fiu.edu> Sun Mar 11 10:53:55 2018 -0400
tree dfa4691fc365ed7e4c90f4801ed354b388a97ab0
parent f5fca3a95db06eae0d8b9e7e23d09176fe40131a

build: update waf to version 2.0.6

Change-Id: I9cb1f2dbd01312a0b113dd33a4ca9fae344b087c

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 08d2d53..9ee5a78 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -25,13 +25,13 @@
   sudo env "PATH=$PATH" ./waf --color=yes distclean
 fi
 
-# Configure/build in debug mode with tests and without precompiled headers
+# Configure/build in debug mode with tests
 if [[ $JOB_NAME == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
 elif [[ -n $BUILD_WITH_ASAN || -z $TRAVIS ]]; then
     ASAN="--with-sanitizer=address"
 fi
-./waf --color=yes configure --debug --with-tests --without-pch $COVERAGE $ASAN
+./waf --color=yes configure --debug --with-tests $COVERAGE $ASAN
 ./waf --color=yes build -j${WAF_JOBS:-1}
 
 # (tests will be run against debug version)