From eb7441198c6b1d6a2fbb245e5fece7f36a423ffc Mon Sep 17 00:00:00 2001 From: Ruben Ayrapetyan Date: Wed, 13 Aug 2014 20:59:39 +0400 Subject: [PATCH] Commenting out performance and memory benchmarking in tools/push.sh --- tools/push.sh | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/tools/push.sh b/tools/push.sh index 328cbb2d2..e02844b22 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -93,14 +93,18 @@ done git checkout master >&/dev/null echo -echo "Pre-commit testing passed successfully. Starting performance and memory benchmarking" +echo "Pre-commit testing passed successfully" echo -./tools/test_stability.sh $((`echo $commits_to_push | wc -w` + 1)) +# echo +# echo "Pre-commit testing passed successfully. Starting performance and memory benchmarking" +# echo -echo -echo "Performance and memory benchmarking completed" -echo +# ./tools/test_stability.sh $((`echo $commits_to_push | wc -w` + 1)) + +# echo +# echo "Performance and memory benchmarking completed" +# echo if [ $ok_to_push -eq 1 ] then