view TOOLS/benchmark/test1.sh @ 19292:20938447bb55

'make clean' now recurses through subdirectories as expected, 'make dirclean' can be used to clean just the toplevel directory.

sync
sleep 1
cat $2 >/dev/null
sleep 2
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
# $* -benchmark -nosound | grep BENCHMARKs
# echo ""