[Webkit-unassigned] [Bug 97045] webkit-patch rebaseline does the wrong thing

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=97045





--- Comment #4 from Dirk Pranke <dpranke at chromium.org>  2012-09-18 14:55:28 PST ---
Turns out I'm thinking of the code in the baseline optimizer that checks to make sure optimizing doesn't change any results. You're right, we don't have any code that checks if other ports might need to be rebaselined if we change a baseline for one port.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.