view TOOLS/benchmark/test1.sh @ 20535:c0687e92d463

convert DOCS/xml/en and help_mp-en.h to UTF-8 (running help_mp-en.h through iconv didn't change the file so only the charset file needed to be changed)

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