Bashシェルスクリプト/処理にかかった時間

処理にかかった時間を計る †

dokuwiki.fl8.jp掲載済

#!/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}"