Adding -s (silent) flag to make command line in tools/push.sh.

2014-08-05 15:37:16 +04:00
parent 9f56d42ceb
commit adfa6d3576
2 changed files with 4 additions and 4 deletions
@@ -78,7 +78,7 @@ do
  git log  --pretty=format:"%H %s" | grep $commit_hash | grep -o " .*"
  echo

-  make -j precommit 2>&1
+  make -s -j precommit 2>&1
  status_code=$?
  if [ $status_code -ne 0 ]
  then