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

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

diff --git a/jenkins.sh b/jenkins.sh
index 9ff782e..6790f29 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash -e
 pip install --upgrade pip
 pip install --upgrade pylint
 pip install --upgrade -v -r requirements.txt