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

fix formatting. add commit message

Browse Source
This commit is contained in:
e.gavrin
2014-08-05 14:48:32 +04:00
parent f52a6a6ae3
commit be42a7b128
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/push.sh
+3 -1
View File
@@ -56,8 +56,10 @@ echo
for commit_hash in $commits_to_push for commit_hash in $commits_to_push
do do
echo " > Testing $commit_hash" echo " > Testing $commit_hash"
echo -n " > "
git log --pretty=format:"%H %s" | grep $commit_hash | grep -o " .*"
echo echo
git checkout $commit_hash >&/dev/null git checkout $commit_hash >&/dev/null
status_code=$? status_code=$?
if [ $status_code -ne 0 ] if [ $status_code -ne 0 ]