From 4e81984bbe9559b9c13d23ad4bbc63083b183b0e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20K=C3=B6hnen?= Date: Thu, 6 Jan 2022 15:33:11 +0100 Subject: [PATCH] Add set -e to build.sh --- build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build.sh b/build.sh index 2802bd4d89..33615e76e9 100755 --- a/build.sh +++ b/build.sh @@ -1,5 +1,8 @@ #!/bin/bash +# Guarantee script exits with a non-zero return-code if a command below fails. +set -e + # The script requires the openMIINDS repository to be cloned in the same root directory into the directory "openMINDS_documentation". # This needs to be done externally since we need to push back to it and this can only be achieved when the repo is cloned via the workflow action if [ ! -d "openMINDS_documentation" ]; then