tree a73e659e8fd18c7e3fc67880a1a9be8c2a409c86
parent 971de8ea7b7e474a4d9253b6c9f47da3f1130973
author Conley Owens <cco3@android.com> 1334599341 -0700
committer Shawn O. Pearce <sop@google.com> 1335210600 -0700

Add a --platform flag

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