From 08fae9fa990e8116bd445e38c80954d190037e79 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 20 Sep 2024 15:24:27 +0000
Subject: [PATCH] Fix path

---
 .github/workflows/add-formula.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/add-formula.yml b/.github/workflows/add-formula.yml
index 3a62fad..851f898 100644
--- a/.github/workflows/add-formula.yml
+++ b/.github/workflows/add-formula.yml
@@ -46,12 +46,12 @@ jobs:
           echo "CBMC_BREW: ${CBMC_BREW}"
           if [ "${CBMC_BREW}" = "${CBMC_LATEST}" ] ; then
             formula_base=$(find Formula/ -type f | sort | tail -1)
-            sed '/bottle do/Q' "Formula/${formula_base}" > "Formula/cbmc@${CBMC_LATEST}.rb"
+            sed '/bottle do/Q' "${formula_base}" > "Formula/cbmc@${CBMC_LATEST}.rb"
             sed -i "1s/CbmcAT[[:digit:]]*/CbmcAT${CBMC_LATEST//./}/" "Formula/cbmc@${CBMC_LATEST}.rb"
             sed -i "5s/\".*\"/\"cbmc-${CBMC_LATEST}\"/" "Formula/cbmc@${CBMC_LATEST}.rb"
             sed -i "6s/\".*\"/\"cbmc-${CBMC_LATEST_REV}\"/" "Formula/cbmc@${CBMC_LATEST}.rb"
             ./transform_binary.sh "${CBMC_LATEST}" >> "Formula/cbmc@${CBMC_LATEST}.rb"
-            sed -n '1,/end$/!p' "Formula/${formula_base}" >> "Formula/cbmc@${CBMC_LATEST}.rb"
+            sed -n '1,/end$/!p' "${formula_base}" >> "Formula/cbmc@${CBMC_LATEST}.rb"
             echo "next_step=upload_and_create_pr" >> "${GITHUB_ENV}"
           else
             echo "next_step=none" >> "${GITHUB_ENV}"