diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index e8811bd..24e76e1 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -1,5 +1,6 @@
 #!/usr/bin/env bash
 set -x
+set -e
 
 # Cleanup
 sudo ./waf distclean -j1 --color=yes