Merge pull request #945 from JMoodyFWD/tools_dir_path-rename

Change TOOLS_DIR to SETUP_PHP_TOOLS_DIR to prevent regression
This commit is contained in:
Shivam Mathur 2025-05-06 23:46:51 +05:30 committed by GitHub
commit d000f49d9a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -55,7 +55,7 @@ read_env() {
fail_fast="${fail_fast:-${FAIL_FAST:-false}}"
[[ -z "${ImageOS}" && -z "${ImageVersion}" || -n ${ACT} ]] && _runner=self-hosted || _runner=github
runner="${runner:-${RUNNER:-$_runner}}"
tool_path_dir="${tools_dir:-${TOOLS_DIR:-/usr/local/bin}}"
tool_path_dir="${setup_php_tools_dir:-${SETUP_PHP_TOOLS_DIR:-/usr/local/bin}}"
if [[ "$runner" = "github" && $_runner = "self-hosted" ]]; then
fail_fast=true
@ -76,7 +76,7 @@ read_env() {
export runner
export update
export ts
export tools_dir_path
export tool_path_dir
}
# Function to create a lock.