diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index fa7591a..3c975e0 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -1,7 +1,11 @@
 #!/usr/bin/env bash
-set -x
 set -e
 
+JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+source "$JDIR"/util.sh
+
+set -x
+
 git submodule init
 git submodule sync
 git submodule update
@@ -10,14 +14,14 @@
 sudo ./waf -j1 --color=yes distclean
 
 if [[ "$JOB_NAME" != *"limited-build" ]]; then
-  # Configure/build in optimized mode with tests and precompiled headers
+  # Configure/build in optimized mode with tests
   ./waf -j1 --color=yes configure --with-tests
   ./waf -j1 --color=yes build
 
   # Cleanup
   sudo ./waf -j1 --color=yes distclean
 
-  # Configure/build in optimized mode without tests and with precompiled headers
+  # Configure/build in optimized mode without tests
   ./waf -j1 --color=yes configure
   ./waf -j1 --color=yes build
 
@@ -25,7 +29,7 @@
   sudo ./waf -j1 --color=yes distclean
 fi
 
-# Configure/build in debug mode
+# Configure/build in debug mode with tests and without precompiled headers
 if [[ "$JOB_NAME" == *"code-coverage" ]]; then
     COVERAGE="--with-coverage"
 fi