From 9c08482b46e8d67085de2da38cd6c4b699674206 Mon Sep 17 00:00:00 2001
From: Benjamin Dauvergne <bdauvergne@entrouvert.com>
Date: Wed, 20 Nov 2013 08:49:00 +0100
Subject: [PATCH] jenkins.sh: do not ignore errors

---
 jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

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