From df3ed296ddce9e6f07d52a336ff72c300131d6ea Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divVerent@xonotic.org>
Date: Tue, 24 May 2011 13:31:52 +0200
Subject: [PATCH] print some timing info when release building

---
 all | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

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
 
-- 
2.39.2