annotate TOOLS/benchmark/test1.sh @ 2363:e87cbb7db151

some options previously forgot :(
author gabucino
date Mon, 22 Oct 2001 12:57: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 ""