annotate TOOLS/benchmark/test1.sh @ 17949:a6b11b35892a

Turn the preferences menu in something usefull using the new property API.
author albeu
date Sat, 25 Mar 2006 20:49:36 +0000
parents 351aaf1eff87
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2263
351aaf1eff87 scripts
arpi
parents:
diff changeset
1
351aaf1eff87 scripts
arpi
parents:
diff changeset
2 sync
351aaf1eff87 scripts
arpi
parents:
diff changeset
3 sleep 1
351aaf1eff87 scripts
arpi
parents:
diff changeset
4 cat $2 >/dev/null
351aaf1eff87 scripts
arpi
parents:
diff changeset
5 sleep 2
351aaf1eff87 scripts
arpi
parents:
diff changeset
6 $* -benchmark -nosound | grep BENCHMARKs
351aaf1eff87 scripts
arpi
parents:
diff changeset
7 $* -benchmark -nosound | grep BENCHMARKs
351aaf1eff87 scripts
arpi
parents:
diff changeset
8 $* -benchmark -nosound | grep BENCHMARKs
351aaf1eff87 scripts
arpi
parents:
diff changeset
9 # $* -benchmark -nosound | grep BENCHMARKs
351aaf1eff87 scripts
arpi
parents:
diff changeset
10 # echo ""