diff options
| -rwxr-xr-x | hack/release.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/hack/release.sh b/hack/release.sh index 6a91c098c..56a853347 100755 --- a/hack/release.sh +++ b/hack/release.sh @@ -12,6 +12,15 @@ VERSION="$1" NEXT_VERSION="$2" + +if test "${NEXT_VERSION}" != "${NEXT_VERSION%-dev}" +then + echo "The next-version argument '${NEXT_VERSION}' should not end in '-dev'." >&2 + echo "This script will add the -dev suffix as needed internally. Try:" >&2 + echo " $0 ${VERSION} ${NEXT_VERSION%-dev}" >&2 + exit 1 +fi + DATE=$(date '+%Y-%m-%d') LAST_TAG=$(git describe --tags --abbrev=0) |