times: added shell script that executes previous tags

tools/times-tags.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+#
+# Simple script to generate times-tags.log that contains timing information for a range of revisions
+# Typically these commands shall be used to get times.txt:
+#   mkdir src
+#   cp lib/* src/   <- fill src/ with some source code
+#   tools/times-tags.sh
+#   gcc -o tools/times-tags tools/times-tags.c
+#   tools/times-tags
+
+rm times-tags.txt
+
+for i in `seq $1 $2`;
+do
+    echo "1.$i"
+    echo "1.$i" >> times-tags.txt
+    git checkout "1.$i" -b "$i"
+    make clean
+    make -j4 > /dev/null
+    /usr/bin/time -a -o times-tags.txt ./cppcheck sources -q 2> /dev/null
+    git checkout master
+    git branch -D "$i"
+done
+
+