force bin path

mbround18 · Dec 14, 2023 · 2544737 · 2544737
1 parent 3972923
commit 2544737
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/exec_auto.sh b/scripts/exec_auto.sh
@@ -3,6 +3,7 @@
 echo "::group::Run Auto"
 set -o pipefail
 
+BIN_PATH="${GITHUB_ACTION_PATH}/.bin/auto"
 TMP_DIRECTORY="${GITHUB_ACTION_PATH}/.tmp"
 OUTPUT_FILE="${TMP_DIRECTORY}/${GITHUB_RUN_ID:-"unknown"}-auto.out"
 echo "OUTPUT_FILE=${OUTPUT_FILE}"
@@ -11,7 +12,7 @@ if ! [ -d "${TMP_DIRECTORY}" ]; then
   mkdir -p "${TMP_DIRECTORY}"
 fi
 
-eval "auto ${1}" |& tee "${OUTPUT_FILE}"
+eval "${BIN_PATH} ${1}" |& tee "${OUTPUT_FILE}"
 
 AUTO_EXIT="$?"