From 2dbd21e08af243de06639e8f06ee825a073b0916 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Wed, 12 Oct 2016 15:20:54 +0200
Subject: [PATCH] bootstrap.sh - exit if something went wrong

---
 bootstrap.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index 4256b33..f7f3b27 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 declare -r BASE_DIR=$(cd "$(dirname $0)" && pwd)
 
-${BASE_DIR}/compile_pmodules.sh
-${BASE_DIR}/install_pmodules.sh
+${BASE_DIR}/compile_pmodules.sh || exit 1
+${BASE_DIR}/install_pmodules.sh || exit 1