Adjust naming convention for releases

2022-03-21 09:04:12 +00:00
parent fbd1d70ee6
commit c3b97c039a
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -238,7 +238,7 @@ else
    echo $MAVEN_ARGS | grep -q milestone && MAVEN_ARGS=$(echo $MAVEN_ARGS | sed -e 's/-Pmilestone//')
 fi

-if echo $VERSION | egrep -q 'RELEASE'; then
+if echo $VERSION | egrep -q '[0-9]*\.[0-9]*\.[0-9]*$|RELEASE'; then
    echo Activating \"central\" profile for version=\"$VERSION\"
    echo $MAVEN_ARGS | grep -q milestone || MAVEN_ARGS="$MAVEN_ARGS -Pcentral"
 else