From: Rudolf Polzer Date: Tue, 24 May 2011 11:31:52 +0000 (+0200) Subject: print some timing info when release building X-Git-Tag: xonotic-v0.5.0~92 X-Git-Url: https://git.rm.cloudns.org/?a=commitdiff_plain;h=df3ed296ddce9e6f07d52a336ff72c300131d6ea;p=xonotic%2Fxonotic.git print some timing info when release building --- diff --git a/all b/all index edd3af9f..1d23cea2 100755 --- a/all +++ b/all @@ -268,8 +268,19 @@ cmd=$1 shift case "$cmd" in - release-*) + release|release-*) export LC_ALL=C + + release_args=$* + echo >&2 "*** $release_args: start" + release_starttime=`date +%s` + release_end() + { + release_endtime=`date +%s` + release_deltatime=$(($release_endtime - $release_starttime)) + echo >&2 "*** $release_args: $release_deltatime seconds" + } + trap release_end EXIT ;; esac