diff --git a/tools/release/build_delivery_mac.sh b/tools/release/build_delivery_mac.sh index e0e3a5730a..885bb3b37a 100755 --- a/tools/release/build_delivery_mac.sh +++ b/tools/release/build_delivery_mac.sh @@ -295,12 +295,10 @@ function main() { echo "ORTOOLS_TOKEN: FOUND" | tee build.log make print-OR_TOOLS_VERSION | tee -a build.log - declare -r ROOT_DIR - ROOT_DIR="$(cd -P -- "$(dirname -- "$0")/../.." && pwd -P)" + local -r ROOT_DIR="$(cd -P -- "$(dirname -- "$0")/../.." && pwd -P)" echo "ROOT_DIR: '${ROOT_DIR}'" - declare -r RELEASE_DIR - RELEASE_DIR="$(cd -P -- "$(dirname -- "$0")" && pwd -P)" + local -r RELEASE_DIR="$(cd -P -- "$(dirname -- "$0")" && pwd -P)" echo "RELEASE_DIR: '${RELEASE_DIR}'" local -r ORTOOLS_BRANCH=$(git rev-parse --abbrev-ref HEAD) diff --git a/tools/release/publish_delivery_mac.sh b/tools/release/publish_delivery_mac.sh index e9fd4449be..22c3370d77 100755 --- a/tools/release/publish_delivery_mac.sh +++ b/tools/release/publish_delivery_mac.sh @@ -100,12 +100,10 @@ function main() { echo "ORTOOLS_TOKEN: FOUND" | tee publish.log make print-OR_TOOLS_VERSION | tee -a publish.log - declare -r ROOT_DIR - ROOT_DIR="$(cd -P -- "$(dirname -- "$0")/../.." && pwd -P)" + local -r ROOT_DIR="$(cd -P -- "$(dirname -- "$0")/../.." && pwd -P)" echo "ROOT_DIR: '${ROOT_DIR}'" - declare -r RELEASE_DIR - RELEASE_DIR="$(cd -P -- "$(dirname -- "$0")" && pwd -P)" + local -r RELEASE_DIR="$(cd -P -- "$(dirname -- "$0")" && pwd -P)" echo "RELEASE_DIR: '${RELEASE_DIR}'" local -r ORTOOLS_BRANCH=$(git rev-parse --abbrev-ref HEAD)