From 9b21d403eab8424b3a917def04246bb5c20bbf3f Mon Sep 17 00:00:00 2001 From: Wilfried Goesgens Date: Tue, 30 Aug 2016 12:57:08 +0200 Subject: [PATCH] We mustn't use minuses in the releases since that will collide later on with packaging. --- Installation/release.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Installation/release.sh b/Installation/release.sh index 4813c13050..5e56cc0a24 100755 --- a/Installation/release.sh +++ b/Installation/release.sh @@ -50,6 +50,11 @@ fi VERSION="$1" +if echo ${VERSION} | grep -q -- '-'; then + echo "${VERSION} mustn't contain minuses! " + exit 1 +fi + if git tag | grep -q "^v$VERSION$"; then echo "$0: version $VERSION already defined" exit 1