fix name bottle is deployed under
@@ -387,6 +387,8 @@ pipeline {
mv bionic/kframework_${VERSION}_amd64.deb bionic/kframework_${VERSION}_amd64_bionic.deb
mv buster/kframework_${VERSION}_amd64.deb buster/kframework_${VERSION}_amd64_buster.deb
LOCAL_BOTTLE_NAME=$(echo mojave/kframework--${VERSION}.mojave.bottle*.tar.gz)
+ BOTTLE_NAME=`cd mojave && echo kframework--${VERSION}.mojave.bottle*.tar.gz | sed 's!kframework--!kframework-!'`
+ mv $LOCAL_BOTTLE_NAME mojave/$BOTTLE_NAME
echo "K Framework Release $release_tag" > release.md
echo "" >> release.md
cat k-distribution/INSTALL.md >> release.md
@@ -395,7 +397,7 @@ pipeline {
--attach bionic/kframework_${VERSION}_amd64_bionic.deb"#Ubuntu Bionic (18.04) Package" \
--attach buster/kframework_${VERSION}_amd64_buster.deb"#Debian Buster (10) Package" \
--attach arch/kframework-git-${VERSION}-1-x86_64.pkg.tar.xz"#Arch Package" \
- --attach $LOCAL_BOTTLE_NAME"#Mac OS X Homebrew Bottle" \
+ --attach mojave/$BOTTLE_NAME"#Mac OS X Homebrew Bottle" \
--attach k-nightly.tar.gz"#Platform Indepdendent K Binary" \
--file release.md "${release_tag}"
'''
