From d7293560ef43df090258d644c7613ac20ef6a3e7 Mon Sep 17 00:00:00 2001 From: Frank Celler Date: Tue, 21 Jul 2015 19:10:37 +0200 Subject: [PATCH] remove EXPERIMENTAL on release build --- Installation/release.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Installation/release.sh b/Installation/release.sh index 303159eee6..2a90c5b5bc 100755 --- a/Installation/release.sh +++ b/Installation/release.sh @@ -48,6 +48,12 @@ make swagger || exit 1 git add -f Documentation/Examples/*.generated +case "$TAG" in + *-alpha*|*-beta*|devel) + git rm -f EXPERIMENTAL + ;; +esac + if [ "$TAG" == "1" ]; then git commit -m "release version $VERSION" -a git push