- time ${RUN} ${t} ${ARGS} > ${LOG} 2>&1
- echo
- grep -A 2 "Number of executions" ${LOG} | tail -3
- 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