[webkit-reviews] review requested: [Bug 25517] build-webkit script should print build time at end : [Attachment 38883] Patch for bug 25517 : build-webkit script should print build time at end

[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 38883: Patch for bug 25517 : build-webkit script should print build
time at end
https://bugs.webkit.org/attachment.cgi?id=38883&action=review