diff --git a/tools/push.sh b/tools/push.sh index 435c5f6dc..a7fa4ced2 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -67,14 +67,12 @@ do exit 1 fi - precommit_testing_output=`make -j precommit 2>&1` + make -j precommit 2>&1 status_code=$? if [ $status_code -ne 0 ] then echo "Pre-commit testing for '$commit_hash' failed" echo - echo $precommit_testing_output - echo ok_to_push=0 break