[webkit-reviews] review requested: [Bug 25517] build-webkit script should print build time at end : [Attachment 38940] Patch for bug 25517 revision 3: better coding guideline, nice formatting for build time

[bugzilla-daemon at webkit.org]

Laurent Cerveau <lcerveau at me.com> has asked  for review:
Bug 25517: build-webkit script should print build time at end
https://bugs.webkit.org/show_bug.cgi?id=25517

Attachment 38940: Patch for bug 25517 revision 3: better coding guideline, nice
formatting for build time
https://bugs.webkit.org/attachment.cgi?id=38940&action=review

------- Additional Comments from Laurent Cerveau <lcerveau at me.com>
Thanks for the comments! (Very useful learning experience). All should be here
now..