mirror of
https://github.com/shivammathur/setup-php.git
synced 2024-11-22 20:01:06 +07:00
Make sure tool path is always in PATH
This commit is contained in:
parent
d731e56579
commit
77721f6637
@ -204,6 +204,8 @@ add_tool() {
|
|||||||
tool=$2
|
tool=$2
|
||||||
ver_param=$3
|
ver_param=$3
|
||||||
tool_path="$tool_path_dir/$tool"
|
tool_path="$tool_path_dir/$tool"
|
||||||
|
export PATH=$PATH:$tool_path_dir
|
||||||
|
echo "$tool_path_dir" >> "$GITHUB_PATH"
|
||||||
if [ ! -e "$tool_path" ]; then
|
if [ ! -e "$tool_path" ]; then
|
||||||
rm -rf "$tool_path"
|
rm -rf "$tool_path"
|
||||||
fi
|
fi
|
||||||
|
Loading…
Reference in New Issue
Block a user