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

Commenting out performance and memory benchmarking in tools/push.sh

Browse Source
This commit is contained in:
Ruben Ayrapetyan
2014-08-13 20:59:39 +04:00
parent 507b91973a
commit eb7441198c
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tools/push.sh
+9 -5
View File
@@ -93,14 +93,18 @@ done
git checkout master >&/dev/null git checkout master >&/dev/null
echo echo
echo "Pre-commit testing passed successfully. Starting performance and memory benchmarking" echo "Pre-commit testing passed successfully"
echo 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 # ./tools/test_stability.sh $((`echo $commits_to_push | wc -w` + 1))
echo "Performance and memory benchmarking completed"
echo # echo
# echo "Performance and memory benchmarking completed"
# echo
if [ $ok_to_push -eq 1 ] if [ $ok_to_push -eq 1 ]
then then