Now that we don't print so much garbage by default, we don't need to run
our tests twice (once with log and once without).
echo
echo "Test done; sleeping for a few seconds"
echo
- sleep 3
-
- echo "*******************************"
- echo "Re-running test for timing data"
- echo "*******************************"
- (time ${RUN} ${t} ${ARGS} > /dev/null 2>&1) 2>&1
- echo
- echo "Test done; sleeping for a few seconds"
- echo
let COUNT++
}