mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-05-14 02:36:04 +08:00
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
20 KiB
Executable File
20 KiB
Executable File