summaryrefslogtreecommitdiffstats
path: root/repo
diff options
context:
space:
mode:
Diffstat (limited to 'repo')
-rwxr-xr-xrepo3
1 files changed, 2 insertions, 1 deletions
diff --git a/repo b/repo
index 6b374f72..c3484745 100755
--- a/repo
+++ b/repo
@@ -164,7 +164,8 @@ group.add_option('--depth', type='int', default=None,
164 help='create a shallow clone with given depth; see git clone') 164 help='create a shallow clone with given depth; see git clone')
165group.add_option('-g', '--groups', 165group.add_option('-g', '--groups',
166 dest='groups', default='default', 166 dest='groups', default='default',
167 help='restrict manifest projects to ones with a specified group', 167 help='restrict manifest projects to ones with specified '
168 'group(s) [default|all|G1,G2,G3|G4,-G5,-G6]',
168 metavar='GROUP') 169 metavar='GROUP')
169group.add_option('-p', '--platform', 170group.add_option('-p', '--platform',
170 dest='platform', default="auto", 171 dest='platform', default="auto",