diff --git a/tools/push.sh b/tools/push.sh index f529c3660..328cbb2d2 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -93,7 +93,13 @@ done git checkout master >&/dev/null echo -echo "Pre-commit testing passed successfully" +echo "Pre-commit testing passed successfully. Starting performance and memory benchmarking" +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 ] diff --git a/tools/test_stability.sh b/tools/test_stability.sh index 9100cccb0..c440e04e7 100755 --- a/tools/test_stability.sh +++ b/tools/test_stability.sh @@ -29,9 +29,11 @@ commits_to_push=`git log -$NUM_COMMITS | grep "^commit [0-9a-f]*$" | awk 'BEGIN for commit_hash in $commits_to_push do - echo "Testing..." - git log --format=%B -n 1 $commit_hash - make clean $TARGET + git checkout $commit_hash >&/dev/null + + echo -e -n " > Testing...\n > " + echo `git log --format=%B -n 1 $commit_hash` + make -s $TARGET ./tools/rss_measure.sh ./out/$TARGET/jerry $BENCH echo done