open-coredump.sh: handle dev versions

Like: 5.2.0~dev, which really means master. Don't try to checkout
branch-5.2 in this case, it doesn't exist yet, checkout master instead.

Closes #12510
This commit is contained in:
Botond Dénes
2023-01-12 08:38:51 -05:00
committed by Avi Kivity
parent f87e3993ef
commit ab8171ffd5

View File

@@ -235,8 +235,13 @@ else
fi
COMMIT_HASH=$(cut -f3 -d. <<< $RELEASE)
BASE_VERSION=$(grep -o "^[0-9]\+\.[0-9]\+" <<< $VERSION)
BRANCH=branch-${BASE_VERSION}
if [ "$(grep -o ~dev <<< $VERSION)" == "~dev" ]
then
BRANCH=master
else
BASE_VERSION=$(grep -o "^[0-9]\+\.[0-9]\+" <<< $VERSION)
BRANCH=branch-${BASE_VERSION}
fi
if ! [[ -d ${SCYLLA_REPO_PATH} ]]
then