log perf/benchmarktool.sh @ 3215:0ab38d143795

age author description
Thu, 07 Jul 2011 19:43:17 +0200 Josef Haider The benchmark tool should now print zero values to the csv file, if a benchmark fails
Thu, 07 Jul 2011 18:19:24 +0200 Josef Haider Added a small python script for automated benchmarks.