print some timing info when release building

diff --git a/all b/all
index edd3af9fbb0d4e1094ada6148b6580595dec53d5..1d23cea2f7f2ddc1285b7977e9c157f7613368ed 100755 (executable)
--- 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