From fa18adea6f9d5432f482a170f05390438c356439 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Toralf=20F=C3=B6rster?= Date: Wed, 25 Jun 2014 22:48:56 +0200 Subject: [PATCH] tools/times.sh: prefer a loop over repeating the same command MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Toralf Förster --- tools/times.sh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/tools/times.sh b/tools/times.sh index 110d96b37..513dde40a 100755 --- a/tools/times.sh +++ b/tools/times.sh @@ -20,10 +20,9 @@ for i in `seq 1 50`; do # if build fails, make clean and try again make SRCDIR=build CXXFLAGS=-O2 -j4 || make clean ; make SRCDIR=build CXXFLAGS=-O2 -j4 echo "Run number $i" - ./cppcheck -q --showtime=summary --enable=all --inconclusive src 2> /dev/null | tee -a times.log - ./cppcheck -q --showtime=summary --enable=all --inconclusive src 2> /dev/null | tee -a times.log - ./cppcheck -q --showtime=summary --enable=all --inconclusive src 2> /dev/null | tee -a times.log - ./cppcheck -q --showtime=summary --enable=all --inconclusive src 2> /dev/null | tee -a times.log + for j in `seq 1 4`; do + ./cppcheck -q --showtime=summary --enable=all --inconclusive src 2> /dev/null | tee -a times.log + done grep "Overall" times.log | tail -4 | sed s/s// | awk -v "i=$i" -v "git_head=$git_head" '{ sum+=$3} END {print "Run " i", "git_head " Average: " sum/4}' | tee -a times.log git reset --hard HEAD^1 | tee -a times.log done