diff options
| author | jkoan <jkoan@users.noreply.github.com> | 2018-10-12 08:28:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-12 08:28:15 +0200 |
| commit | a2895d3c4523ef9b216bd1c99e7d55d6e1441e27 (patch) | |
| tree | 32dc24a509bbba5f2c26cc59b927d57331b09df8 /scripts | |
| parent | 45e68bc5f009ee1165b6ff467bcc70f347e1512c (diff) | |
| download | navit-a2895d3c4523ef9b216bd1c99e7d55d6e1441e27.tar.gz | |
Update update_download_center.sh
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/update_download_center.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/update_download_center.sh b/scripts/update_download_center.sh index 9f4414ddf..8e4359717 100644 --- a/scripts/update_download_center.sh +++ b/scripts/update_download_center.sh @@ -69,7 +69,7 @@ cd $UUID/_data/$JOB_NAME ############################################# echo "Download metadata of this build" -wget --no-check-certificate $URL_BUILD_ARTIFACTS -O $(printf "%10d" ${BUILD_NUM}).json +wget --no-check-certificate $URL_BUILD_ARTIFACTS -O $(printf "%010d" ${BUILD_NUM}).json RC=$? if [ $RC -ne 0 ]; then echo "wget artifacts download failed" @@ -82,7 +82,7 @@ echo "Push update to ${NAVIT_DOWNLOAD_CENTER_REPO}" git config --global push.default simple git config user.name "Circle CI" git config user.email "circleci@navit-project.org" -git add $(printf "%10d" ${BUILD_NUM}).json +git add $(printf "%010d" ${BUILD_NUM}).json git commit -m "add:artifacts:Add artifacts for build #${BUILD_NUM} with SHA1:${CIRCLE_SHA1}" git push RC=$? |