Merge branch 'lucca-tests-bench' into lucca-extentions

[tatoo.git] / beau

grep -v average log_benchmark | grep -v faults| grep -v block| grep -v swap| grep -v messages| grep -v signals| grep -v voluntary > log_benchmark.txt