view TOOLS/benchmark/test1.sh @ 4617:1bd05178a74d

"I finished the rest of the german documentation and fixed some html-files. Everything should now be up-to-date." - Jonas Jermann

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