view TOOLS/benchmark/test1.sh @ 21370:b806ccbc6398

Remove some of the worst "headers include headers which include completely unrelated headers" mess.
author reimar
date Wed, 29 Nov 2006 14:08:24 +0000
parents 351aaf1eff87
children
line wrap: on
line source


sync
sleep 1
cat $2 >/dev/null
sleep 2
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
# $* -benchmark -nosound | grep BENCHMARKs
# echo ""