[Pkg-javascript-commits] [sockjs-client] 46/434: Print time of generation

[Tonnerre Lombard]

This is an automated email from the git hooks/post-receive script.

tonnerre-guest pushed a commit to branch master
in repository sockjs-client.

commit d76d934754c216de43605dea9a11f5b6f188ad37
Author: Marek Majkowski <majek04 at gmail.com>
Date:   Wed Aug 3 11:02:23 2011 +0100

    Print time of generation
---
 gen.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gen.sh b/gen.sh
index 74fb3c0..2231e2c 100755
--- a/gen.sh
+++ b/gen.sh
@@ -1,6 +1,9 @@
 #!/bin/sh
+T0=`date +%s%0N`
 echo " [*] Generating javascript"
 coffee bin/render.coffee lib/all.js > sockjs.js && \
 coffee bin/render.coffee --minify lib/all.js > sockjs.min.js && \
 coffee bin/render.coffee --minify --pretty lib/all.js > sockjs.pretty.js && \
-echo " [*] ok"
+T1=`date +%s%0N`
+TDMS=$(( ($T1-$T0) / 1000000))
+echo " [*] ok $TDMS ms"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-javascript/sockjs-client.git