From cf3021eccac305b9291f27668d997a1ecb40b025 Mon Sep 17 00:00:00 2001
From: Ciaran Downey <me@ciarand.me>
Date: Fri, 25 Jul 2014 12:43:44 -0700
Subject: [PATCH] Add the set -e option to dockerfiles/build.sh

---
 dockerfiles/build.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dockerfiles/build.sh b/dockerfiles/build.sh
index b658db4ecd..4617da1421 100755
--- a/dockerfiles/build.sh
+++ b/dockerfiles/build.sh
@@ -10,6 +10,9 @@ HOST_PORT="YOUR_HOST_PORT"        # The port on host, which will be redirected t
 # apt source, you can select 'nchc'(mirror in Taiwan) or 'aliyun'(best for mainlance China users) according to your network, if you could connect to the official unbunt mirror in a fast speed, just leave it to "".
 APT_SOURCE=""
 
+# fail immediately if anything goes wrong
+set -e
+
 DOCKER_BIN=$(which docker.io || which docker)
 if [ -z "$DOCKER_BIN" ] ; then
     echo "Please install docker. You can install docker by running \"wget -qO- https://get.docker.io/ | sh\"."