From bc0842ce6ebfa678f22e16eb3a2825f7f3e58704 Mon Sep 17 00:00:00 2001
From: Jack O'Connor <oconnor663@gmail.com>
Date: Mon, 29 Sep 2014 12:03:06 -0700
Subject: [PATCH] `set -e` in install.sh

This allows error in `build.sh` to propagate up. Fixes #1197.
---
 install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install.sh b/install.sh
index f1969800..e6b65ad7 100755
--- a/install.sh
+++ b/install.sh
@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+set -e
+
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
 build_file=$SCRIPT_DIR/third_party/ycmd/build.sh