diff options
| author | Ed Willink | 2018-06-11 05:14:13 +0000 |
|---|---|---|
| committer | Ed Willink | 2018-06-11 05:14:13 +0000 |
| commit | 7b4d2d9788c4d28dbdf003ef0c9dd72ecb71848b (patch) | |
| tree | 9558300feaf25efc84a7928fcddb88ede3ecf0b5 | |
| parent | e56260fba1bf6e4c021abab6f1bedf97fd5d1b6c (diff) | |
| download | org.eclipse.qvto-7b4d2d9788c4d28dbdf003ef0c9dd72ecb71848b.tar.gz org.eclipse.qvto-7b4d2d9788c4d28dbdf003ef0c9dd72ecb71848b.tar.xz org.eclipse.qvto-7b4d2d9788c4d28dbdf003ef0c9dd72ecb71848b.zip | |
[releng] Fix promotion of no-Javadoc
| -rw-r--r-- | releng/org.eclipse.qvto.releng.build-site/downloads.sh | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/releng/org.eclipse.qvto.releng.build-site/downloads.sh b/releng/org.eclipse.qvto.releng.build-site/downloads.sh index 5b4dfaf6a..18a6e39b6 100644 --- a/releng/org.eclipse.qvto.releng.build-site/downloads.sh +++ b/releng/org.eclipse.qvto.releng.build-site/downloads.sh @@ -59,17 +59,20 @@ then curl -s -k ${PUBLISH__JAVADOC} > ${localZip} if [ $? -eq 0 ] then - unzip -ou ${localZip} -d new${PUBLISH__VERSION} - chgrp -R ${group} new${PUBLISH__VERSION} - chmod -R g+w new${PUBLISH__VERSION} - rm -rf ${localZip} - if [ -d "${PUBLISH__VERSION}" ] + if [ -f "${localZip}" ] then - mv ${PUBLISH__VERSION} old${PUBLISH__VERSION} - mv new${PUBLISH__VERSION} ${PUBLISH__VERSION} - rm -rf old${PUBLISH__VERSION} - else - mv new${PUBLISH__VERSION} ${PUBLISH__VERSION} + unzip -ou ${localZip} -d new${PUBLISH__VERSION} + chgrp -R ${group} new${PUBLISH__VERSION} + chmod -R g+w new${PUBLISH__VERSION} + rm -rf ${localZip} + if [ -d "${PUBLISH__VERSION}" ] + then + mv ${PUBLISH__VERSION} old${PUBLISH__VERSION} + mv new${PUBLISH__VERSION} ${PUBLISH__VERSION} + rm -rf old${PUBLISH__VERSION} + else + mv new${PUBLISH__VERSION} ${PUBLISH__VERSION} + fi fi fi popd |