]> git.rm.cloudns.org Git - xonotic/xonotic.git/commitdiff
print some timing info when release building
authorRudolf Polzer <divVerent@xonotic.org>
Tue, 24 May 2011 11:31:52 +0000 (13:31 +0200)
committerRudolf Polzer <divVerent@xonotic.org>
Tue, 24 May 2011 11:31:52 +0000 (13:31 +0200)
all

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