commit | 696a2e8896cf79749a5fb429331adf5b1b64d874 | [log] [tgz] |
---|---|---|
author | Raphael <raphael@google.com> | Fri Feb 10 10:11:47 2012 -0800 |
committer | Raphael <raphael@google.com> | Wed Feb 15 10:34:51 2012 -0800 |
tree | 2dc180627e5a4bcebb11b63016de12026f6d2459 | |
parent | 7cd66d43cfc38a268623f63f896a626a4dbe744c [diff] |
SDK Repository: remove <extra> from repository.xml To simplify and avoid XSD duplication, remove extra packages from the repository.xsd. Instead they should be defined via an addon.xml. Note that -repository-6.xsd is prefixed with a dash, meaning the SDK Manager 17 knows about it and can enforce it but the build server will continue creating repos in v5 for now. Once r17 is deployed, we can make the xsd v6 mandatory for r18. Change-Id: I00d4644378bcc95bfd9ceb7eede0c8c720926f74