annotate TOOLS/benchmark/test1.sh @ 7320:1c6c94f693ed

-gui option removal leftovers
author diego
date Sun, 08 Sep 2002 16:55:43 +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 ""