diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 37246c8..1c4fdf2 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -12,7 +12,7 @@
 sudo ./waf -j1 --color=yes distclean
 
 # Configure/build in debug mode
-./waf -j1 --color=yes configure --with-tests --without-pch --debug
+./waf -j1 --color=yes configure --with-tests --debug
 ./waf -j1 --color=yes build
 
 # Cleanup