X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=INSTALL.sh;h=175893e1914f034c7aae9cc841ce7f0c3105caa9;hb=refs%2Fheads%2Fmeet-appr;hp=83884f6446294291482d758edc99384e75411c9c;hpb=0aa336cce354db2f3320409259dac61f8b015be4;p=brisk.git

diff --git a/INSTALL.sh b/INSTALL.sh
index 83884f6..175893e 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 # set -x
+set -e
 #
 # Defaults
 #