mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-23 02:45:39 +08:00
d21720db31
Projects may optionally specify their platform (eg, groups="platform-linux" in the manifest). By default, repo will automatically detect the platform. However, users may specify --platform=[auto|all|linux|darwin]. Change-Id: Ie678851fb2fec5b0938aede01f16c53138a16537