diff --git a/init.sh b/init.sh index abe7e243b..9eafc873f 100755 --- a/init.sh +++ b/init.sh @@ -3,7 +3,7 @@ SCRIPT_FILE=${BASH_SOURCE[0]} [ -n "$SCRIPT_FILE" ] || SCRIPT_FILE=${(%):-%N} # zsh SRCDIR=$(dirname "$(realpath "$SCRIPT_FILE")") -BUILD_DIR=$SRCDIR/build +BUILD_DIR=${BUILD_DIR:-$SRCDIR/build} if [[ "${BUILD_DIR:0:2}" == "./" ]]; then BUILD_DIR=${BUILD_DIR:2}