annotate TOOLS/benchmark/test1.sh @ 13445:99c8269b1f12

Rroff markup fixes and point out a 10l.
author diego
date Thu, 23 Sep 2004 10:43:32 +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 ""