From 96939be7acefb4cc7c3a7bfd857a21ab52b7022f Mon Sep 17 00:00:00 2001 From: "e.gavrin" Date: Tue, 5 Aug 2014 15:02:38 +0400 Subject: [PATCH] fix smth --- tools/push.sh | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/tools/push.sh b/tools/push.sh index 155568e6d..b2c96532c 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -55,13 +55,9 @@ echo for commit_hash in $commits_to_push do - echo " > Testing $commit_hash" - 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 ] then echo "git checkout $commit_hash failed" @@ -69,6 +65,11 @@ do exit 1 fi + echo " > Testing $commit_hash" + echo -n " > " + git log --pretty=format:"%H %s" | grep $commit_hash | grep -o " .*" + echo + make -j precommit 2>&1 status_code=$? if [ $status_code -ne 0 ]