diff options
author | Philip Langer | 2018-03-08 15:25:06 +0000 |
---|---|---|
committer | Philip Langer | 2018-03-08 15:25:06 +0000 |
commit | 101043e93259bac910b44c71d6def3054cb32f5c (patch) | |
tree | 5dfa3ecdc36bc8e49f6adc5e4e9a66977ffe0652 | |
parent | 2be881c409c486882b23f07e52869d6c26debb4b (diff) | |
download | org.eclipse.emf.compare-releng-master.tar.gz org.eclipse.emf.compare-releng-master.tar.xz org.eclipse.emf.compare-releng-master.zip |
Bug: 532181
Change-Id: I1f5d3d0179752dab92c870c886e7130daac0be7a
Signed-off-by: Philip Langer <planger@eclipsesource.com>
-rw-r--r-- | hudson-scripts/init/3_update-site-publish.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hudson-scripts/init/3_update-site-publish.sh b/hudson-scripts/init/3_update-site-publish.sh index f5b5b3f..ea7763a 100644 --- a/hudson-scripts/init/3_update-site-publish.sh +++ b/hudson-scripts/init/3_update-site-publish.sh @@ -15,7 +15,7 @@ _retrieveZippedArtifact() { local localArtifact="${2}" local unzipTo="${3}" - curl -s -k "${artifactURL}" > "${localArtifact}" + curl -L -s -k "${artifactURL}" > "${localArtifact}" if [ -d "${unzipTo}" ]; then rm -rf "${unzipTo}" |