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

fix smth

Browse Source
This commit is contained in:
e.gavrin 2014-08-05 14:58:04 +04:00
parent be42a7b128
commit 94fe8803e1
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

@ -59,7 +59,7 @@ do
echo -n " > "
git log --pretty=format:"%H %s" | grep $commit_hash | grep -o " .*"
echo
git checkout $commit_hash >&/dev/null
status_code=$?
if [ $status_code -ne 0 ]
@ -102,7 +102,7 @@ then
exit 1
fi
else
echo "\e[1;33mPre-commit testing not passed. Cancelling push.\e[0m"
echo -e "\e[1;33mPre-commit testing not passed. Cancelling push.\e[0m"
exit 1
fi