annotate TOOLS/benchmark/test1.sh @ 7016:44ce5a673be2

added gettimeofday-based profiling/timing little speedup of outline()
author arpi
date Thu, 15 Aug 2002 20:50:13 +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 ""