From: Rudolf Polzer <divVerent@xonotic.org>
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: http://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=commitdiff_plain;h=df3ed296ddce9e6f07d52a336ff72c300131d6ea

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