
# flush cache, load sample to cache:
sync
sleep 1
cat $2 >/dev/null
sleep 2

# benchmark:
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
$* -benchmark -nosound | grep BENCHMARKs
# echo ""
