| commit | c7d08ecd3453d301c8e29c5bc13bc1a7aa3bb2b7 | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Sat Aug 02 11:07:46 2014 +0200 |
| committer | David Ostrovsky <david@ostrovsky.org> | Sat Aug 02 22:51:45 2014 +0200 |
| tree | b74d360aad5c1d3eb0852b5edff1b54fce21b54c | |
| parent | 3dad378157436c6611a65d1fbc7fcf2b8c107b16 [diff] |
Update Buck Buck does not accept duplicate resources, which happens with gwt_module() loading in srcs, resources and gwt_xml. Convert to a set and back to a list to remove duplicates transparently. Contributed-by: Shawn Pearce <sop@google.com> Change-Id: Ic27ab2f34c60c8cb54373d93fcd0c7cac7477a3b