+TIME=${TIME:-/usr/bin/time}
+
+display_elapsed_time() {
+ PREVIOUS_TS=$CURRENT_TS
+ CURRENT_TS=`date +%s`
+ BLOCK_ELAPSED=`expr $CURRENT_TS - $PREVIOUS_TS`
+ TOTAL_ELAPSED=`expr $CURRENT_TS - $START_TS`
+
+ echo " "
+ echo "Elapsed time (block): ${BLOCK_ELAPSED} seconds"
+ echo "Elapsed time (TOTAL): ${TOTAL_ELAPSED} seconds"
+ echo " "
+}
+