diff options
author | Pierre-Charles David | 2019-09-10 14:02:39 +0000 |
---|---|---|
committer | Pierre-Charles David | 2019-09-10 14:02:39 +0000 |
commit | be09c941e6fb20665de73ece2e12133b7506ad0d (patch) | |
tree | 4b5f9823945e0e62c87d8ba45c22426c8b0a94e3 | |
parent | 43900728c976ce5fcb2c398d676336dad0ed170f (diff) | |
download | org.eclipse.sirius-be09c941e6fb20665de73ece2e12133b7506ad0d.tar.gz org.eclipse.sirius-be09c941e6fb20665de73ece2e12133b7506ad0d.tar.xz org.eclipse.sirius-be09c941e6fb20665de73ece2e12133b7506ad0d.zip |
[releng] Fix the JIRO publication script
Change-Id: Ie42eb7d7ad56c2f385b6dfaa2eb60ca076de86fb
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
-rwxr-xr-x | releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh index 7d1648652e..8f8d61566d 100755 --- a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh +++ b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh @@ -35,7 +35,7 @@ provided by the Jenkins build. set -e # The full version (should be taken as an argument) -export VERSION="6.1.3" +export VERSION="6.1.4" # The type of build being published export BUILD_TYPE="nightly" @@ -45,7 +45,7 @@ export BUILD_TYPE_PREFIX="N" export SSH_ACCOUNT="genie.sirius@projects-storage.eclipse.org" # The root folder for all Sirius udpate sites -export SIRIUS_UPDATES_ROOT="/home/data/httpd/download.eclipse.org/sirius/staging" +export SIRIUS_UPDATES_ROOT="/home/data/httpd/download.eclipse.org/sirius/updates" # Streams are of the form 1.0.x: only keep major and minor version number parts export STREAM=$(echo "$VERSION" | sed -r -e 's/^([0-9]+\.[0-9]+\.).*$/\1x/') |