[webkit-reviews] review requested: [Bug 25517] build-webkit script should print build time at end : [Attachment 38923] Patch for bug 25517 revision 2: use of subroutine for time computation, coding guidelines

[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 38923: Patch for bug 25517 revision 2: use of subroutine for time
computation, coding guidelines
https://bugs.webkit.org/attachment.cgi?id=38923&action=review