[webkit-reviews] review granted: [Bug 80717] webkit-patch optimize-baselines sometimes creates a mac-future result : [Attachment 131457] Patch

[bugzilla-daemon at webkit.org]

Adam Barth <abarth at webkit.org> has granted Ojan Vafai <ojan at chromium.org>'s
request for review:
Bug 80717: webkit-patch optimize-baselines sometimes creates a mac-future
result
https://bugs.webkit.org/show_bug.cgi?id=80717

Attachment 131457: Patch
https://bugs.webkit.org/attachment.cgi?id=131457&action=review

------- Additional Comments from Adam Barth <abarth at webkit.org>
This is a fine workaround.  Another thing you can do is to reject the
new_results_by_directory in optimize() if it contains any virtual directories. 
That essentially means that the optimization algorithm failed, which happens
sometimes.