Stop script execution on first error.

2018-06-08 15:41:15 +01:00 · 2018-06-08 15:41:15 +01:00 · 675e9e2954
parent d9228420e1
commit 675e9e2954
1 changed files with 1 additions and 0 deletions
--- a/document-generator/install
+++ b/document-generator/install
@ -26,6 +26,7 @@
 #
 # SPDX-License-Identifier: BSD-2-Clause

+set -e

 ISABELLE=${1:-`which isabelle`}
 export `$ISABELLE getenv ISABELLE_HOME_USER`