On 06/11/2013 11:29 AM, Aaron Plattner wrote: > Passing 'default' or 'default-notools' to repo init's -m parameter fails because > the manifests are actually called 'default.xml' and 'default-notools.xml' > respectively. Thanks, applied. I guess I didn't notice this, since I used default.xml and hence didn't supply any -m option at all. -- To unsubscribe from this list: send the line "unsubscribe linux-tegra" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html