Summary: | [chromium] Don't archive generated source files. | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Nico Weber <thakis> | ||||
Component: | New Bugs | Assignee: | Nico Weber <thakis> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | eric, rniwa, webkit.review.bot | ||||
Priority: | P2 | ||||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | Unspecified | ||||||
OS: | Unspecified | ||||||
Attachments: |
|
Description
Nico Weber
2013-01-12 21:56:12 PST
Created attachment 182480 [details]
Patch
This is not really necessary, but a bit nicer. Comment on attachment 182480 [details]
Patch
Makes sense.
I expect this is used by other ports? (In reply to comment #4) > I expect this is used by other ports? Yes, but this bit of diff is in a elif platform == 'chromium': branch. I suppose including a little more context in the diff would've been nice of me, sorry. Comment on attachment 182480 [details] Patch Clearing flags on attachment: 182480 Committed r140375: <http://trac.webkit.org/changeset/140375> All reviewed patches have been landed. Closing bug. |