commit d21720db313369f25b99b4d2f3f87c8be46513d9
author Conley Owens <cco3@android.com> Mon Apr 16 11:02:21 2012 -0700
committer Shawn O. Pearce <sop@google.com> Mon Apr 23 12:50:00 2012 -0700
tree a73e659e8fd18c7e3fc67880a1a9be8c2a409c86
parent 971de8ea7b7e474a4d9253b6c9f47da3f1130973

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

repo

diff --git a/repo b/repo
index 0aabc0d..860a15d 100755
--- a/repo
+++ b/repo
@@ -129,6 +129,11 @@
                  dest='groups', default='default',
                  help='restrict manifest projects to ones with a specified group',
                  metavar='GROUP')
+group.add_option('-p', '--platform',
+                 dest='platform', default="auto",
+                 help='restrict manifest projects to ones with a specified'
+                      'platform group [auto|all|none|linux|darwin|...]',
+                 metavar='PLATFORM')
 
 
 # Tool