diff options
Diffstat (limited to 'scripts/update_download_center.sh')
-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 34d4a95de..9b59b457e 100644 --- a/scripts/update_download_center.sh +++ b/scripts/update_download_center.sh @@ -56,7 +56,7 @@ trap cleanup EXIT ############################################# echo "Init Git Repo" -export GIT_TERMINAL_PROMPT=0 +export GIT_TERMINAL_PROMPT=0 cd $TMP_DIR mkdir -p ~/.ssh/ ssh-keyscan -t rsa github.com >> ~/.ssh/known_hosts @@ -83,7 +83,7 @@ git config --global push.default simple git config user.name "Circle CI" git config user.email "circleci@navit-project.org" git add ${BUILD_NUM}.json -git commit -m "add:artifacts:Add artifacts for build #${BUILD_NUM} with SHA1:${CIRCLE_SHA1}" +git commit -m "add:artifacts:Add artifacts for build #${BUILD_NUM} with SHA1:${CIRCLE_SHA1}" git push RC=$? if [ $RC -ne 0 ]; then |