1 files changed, 1 insertions, 0 deletions

diff --git a/jenkins.sh b/jenkins.sh
index 0c6d5b72..055167d1 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,3 +1,4 @@
+#!/bin/bash -e
 ./autogen.sh
 ./configure --enable-gtk-doc --enable-gtk-doc-html --enable-gtk-doc-pdf
 make all check