1 files changed, 4 insertions, 0 deletions

diff --git a/repo b/repo
index 3b244c16..f61639f3 100755
--- a/repo
+++ b/repo
@@ -312,6 +312,10 @@ def InitParser(parser, gitc_init=False):
                    metavar='PLATFORM')
   group.add_option('--submodules', action='store_true',
                    help='sync any submodules associated with the manifest repo')
+  group.add_option('--standalone-manifest', action='store_true',
+                   help='download the manifest as a static file '
+                        'rather then create a git checkout of '
+                        'the manifest repo')
 
   # Options that only affect manifest project, and not any of the projects
   # specified in the manifest itself.