From ee57472debac0944840b4b521194608c4f3f0e72 Mon Sep 17 00:00:00 2001 From: lgoubet Date: Fri, 16 Jul 2021 15:17:20 +0200 Subject: [PATCH] Fix release script Change-Id: If38ee0068df2b4bd9b8fb3c4167bc12d0c5b6cba --- releng/org.eclipse.emf.compare.releng/publish-release.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/releng/org.eclipse.emf.compare.releng/publish-release.sh b/releng/org.eclipse.emf.compare.releng/publish-release.sh index 1908cfaa1..bd57cb63f 100644 --- a/releng/org.eclipse.emf.compare.releng/publish-release.sh +++ b/releng/org.eclipse.emf.compare.releng/publish-release.sh @@ -29,8 +29,6 @@ then exit 1 fi -echo "promoting milestone S${TIMESTAMP} as release ${VERSION}" - IFS=. read MAJOR MINOR MICRO TIMESTAMP <<<"${QUALIFIER}" VERSION_SHORT=${MAJOR}.${MINOR} @@ -42,6 +40,8 @@ then exit 1 fi +echo "promoting milestone S${TIMESTAMP} as release ${VERSION}" + ssh ${SSH_ACCOUNT} << EOSSH ## copy the drops -- 2.11.4.GIT