diff --git a/bin/install_environment.sh b/bin/install_environment.sh index ec3a6e11170fc782f1dd7a8b4fdb550072987c9a..15ceffa44becec9df50d91c96785e95b17833d0a 100644 --- a/bin/install_environment.sh +++ b/bin/install_environment.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -e + ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" source $ROOT/set_env.sh source $ROOT/functions.sh