view TOOLS/benchmark/test1.sh @ 6356:b54d7fd6471a

This script has no bash specific stuff, it's all standard bourne shell, so execute with sh. Also see mail from Michaela.

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 ""