diff --git a/scripts/install_build_deps.sh b/scripts/install_build_deps.sh index 2fc2c50b82cebf554b9620a9399f5d434b1109c4..cc1906a91c6fc2ebd3f1fd9b967e8ea4d3973f8a 100755 --- a/scripts/install_build_deps.sh +++ b/scripts/install_build_deps.sh @@ -1,5 +1,7 @@ #! /bin/sh +set -e + script_dir="$(cd "$(dirname "$0")" && echo "$(pwd -P)/")" src_dir="$(dirname "$script_dir")"