time コマンド以外で時間を計測したい場合

#!/bin/bash 

START=`date +%s` 
・・・処理 
END=`date +%s` 

SS=`expr ${END} - ${START}` 

HH=`expr ${SS} / 3600` 
SS=`expr ${SS} % 3600` 
MM=`expr ${SS} / 60` 
SS=`expr ${SS} % 60` 

echo "${HH}:${MM}:${SS}"