Merge remote-tracking branch 'origin/lucca-tests-bench' into lucca-tests-bench

[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