Force the init script to exit if an error occurs. Fixes issue #49.

rjust · May 17, 2019 · 2ec43f5 · 2ec43f5
1 parent 05a4a06
commit 2ec43f5
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/init.sh b/init.sh
@@ -1,5 +1,9 @@
 #!/usr/bin/env bash
 #
+# Any subsequent command which fail will cause the shell script to exit
+# immediately
+set -e
+#
 ################################################################################
 # This script initializes Defects4J. In particular, it downloads and sets up:
 # - the project's version control repositories