ci: minimize installed libboost packages
Change-Id: I8fe048313ff50b00bc09ab912bedaf46008f0a9a
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index fa2c901..9d415d5 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -7,9 +7,6 @@
if [[ $JOB_NAME == *"code-coverage" ]]; then
COVERAGE="--with-coverage"
fi
-if [[ -n $DISABLE_PCH ]]; then
- PCH="--without-pch"
-fi
set -x
@@ -21,8 +18,8 @@
# Cleanup
./waf --color=yes distclean
- # Build in release mode without tests, but with "other tests"
- ./waf --color=yes configure --with-other-tests $PCH
+ # Build in release mode with "other tests" only
+ ./waf --color=yes configure --with-other-tests
./waf --color=yes build
# Cleanup
@@ -30,7 +27,7 @@
fi
# Build in debug mode with tests
-./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE $PCH
+./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE
./waf --color=yes build
# (tests will be run against the debug version)