Remove serialno from tag if any

gnuton · Apr 1, 2019 · 2220690 · 2220690
1 parent a2933dd
commit 2220690
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -18,7 +18,9 @@ jobs:
             if [ -z "${CIRCLE_TAG}" ]; then
               echo "Nothing to do. Not a release"
             else
-              sed -i "s/EXTENDNO=.*/EXTENDNO=${CIRCLE_TAG}/g" release/src-rt/version.conf
+              # When you tag as 340.10-extension it extract extension
+              CIRCLE_TAG_EXT="$(echo ${CIRCLE_TAG} | sed -e "s/[0-9]\\+\\.[0-9]\\+\\-//g)"
+              sed -i "s/EXTENDNO=.*/EXTENDNO=${CIRCLE_TAG_EXT}/g" release/src-rt/version.conf
             fi
       - run:
           name: Setup toolchain