From 4af56f2daec11f39faadb4429f759e8810d7438a Mon Sep 17 00:00:00 2001
From: Shivaram Lingamneni <slingamn@cs.stanford.edu>
Date: Thu, 21 Feb 2019 05:43:15 -0500
Subject: [PATCH] add missing `set -e`

ensuring that install.sh exits 1 if `go install` fails,
which ensures that make sees the failure
---
 install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install.sh b/install.sh
index c3c7a6e5..5da12cb1 100755
--- a/install.sh
+++ b/install.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 if [ -z "$GOPATH" ]; then
 	echo \$GOPATH is unset: see https://golang.org/doc/code.html for details
 	exit 1