From 960720d4c8c8512ab89e9d023ff1d32de6b04bb7 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 20 Sep 2024 09:33:53 +0000
Subject: [PATCH] Adopt another shellcheck recommendation

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

diff --git a/.github/workflows/add-formula.yml b/.github/workflows/add-formula.yml
index 2eefd44..3a62fad 100644
--- a/.github/workflows/add-formula.yml
+++ b/.github/workflows/add-formula.yml
@@ -47,8 +47,7 @@ jobs:
           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"
-            version_no_dot=$(echo "${CBMC_LATEST}" | sed 's/\.//g')
-            sed -i "1s/CbmcAT[[:digit:]]*/CbmcAT${version_no_dot}/" "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"