Fix regex

runtimeverification · Nov 2, 2023 · 1d521ce · 1d521ce
1 parent 67dbcd4
commit 1d521ce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -40,8 +40,7 @@ jobs:
           echo ${VERSION}
           cd homebrew-k
           ../kframework/package/macos/brew-update-to-local ${PACKAGE} ${VERSION}
-          cat ./Formula/${PACKAGE}.rb
-          # brew install --build-from-source --verbose --formula ./Formula/${PACKAGE}.rb
+          brew install --build-from-source --verbose --formula ./Formula/${PACKAGE}.rb
       #     ../kframework/package/macos/brew-build-and-update-to-local-bottle ${PACKAGE} ${VERSION} ${ROOT_URL}
       #     git reset HEAD^
       #     LOCAL_BOTTLE_NAME=$(basename $(find . -name "kframework--${VERSION}.ventura.bottle*.tar.gz"))

diff --git a/package/macos/brew-update-to-local b/package/macos/brew-update-to-local
@@ -1,5 +1,5 @@
 #!/bin/sh -exu
 package="$1" ; shift
 version="$1" ; shift
-sed -i "" -e 's!^    tag ".*"$!    revision "'${version}'"!' \
+sed -i "" -e 's!^    tag: ".*"$!    revision "'${version}'"!' \
     Formula/$package.rb