YourWishes/jerryscript
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixing check of git push status code in tools/push.sh

Browse Source
This commit is contained in:
Ruben Ayrapetyan
2014-08-18 21:14:35 +04:00
parent 9d33a91822
commit d393d0c041
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/push.sh
+11 -2
View File
@@ -136,13 +136,22 @@ 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" git push
status_code=$? status_code=$?
if [ $status_code -eq 0 ] if [ $status_code -eq 0 ]
then then
git push origin refs/notes/* || echo -e "\n\e[1;33m Notes push failed\e[0m" echo -e "\n\e[0;32m Pushed successfully\e[0m\n"
git push origin refs/notes/*
status_code=$? status_code=$?
if [ $status_code -ne 0 ]
then
echo -e "\n\e[1;33m Notes push failed\e[0m"
fi
else
echo -e "\n\e[1;33m Push failed\e[0m"
fi fi
if [ $status_code -ne 0 ] if [ $status_code -ne 0 ]