archive-gh-me/jerryscript
1
0
Fork 0
mirror of https://github.com/jerryscript-project/jerryscript.git synced 2025-12-15 16:29:21 +00:00
Code Issues Projects Releases Wiki Activity

Fixing exit code of tools/push.sh

Browse Source
This commit is contained in:
Ruben Ayrapetyan 2014-08-14 17:38:31 +04:00
parent 5ebc744511
commit 5bb76486b0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/push.sh
View File

@ -130,8 +130,8 @@ then
echo "Pushing..." echo "Pushing..."
echo echo
git push && echo -e "\n\e[0;32m Pushed successfully\e[0m\n" || echo -e "\n\e[1;33m Push failed\e[0m" && exit 1 git push && echo -e "\n\e[0;32m Pushed successfully\e[0m\n" || echo -e "\n\e[1;33m Push failed\e[0m"
git push origin refs/notes/* || echo -e "\n\e[1;33m Notes push failed\e[0m" && exit 1 git push origin refs/notes/* || echo -e "\n\e[1;33m Notes push failed\e[0m"
exit 0 exit 0
else else
echo -e "\e[1;33m $GIT_STATUS_NOT_CLEAN_MSG. $GIT_STATUS_CONSIDER_CLEAN_MSG.\e[0m\n" echo -e "\e[1;33m $GIT_STATUS_NOT_CLEAN_MSG. $GIT_STATUS_CONSIDER_CLEAN_MSG.\e[0m\n"