1 files changed, 4 insertions, 0 deletions

diff --git a/repo b/repo
index 277bbc6e..d81cdd60 100755
--- a/repo
+++ b/repo
@@ -180,6 +180,10 @@ group.add_option('--reference',
 group.add_option('--depth', type='int', default=None,
                  dest='depth',
                  help='create a shallow clone with given depth; see git clone')
+group.add_option('--archive',
+                 dest='archive', action='store_true',
+                 help='checkout an archive instead of a git repository for '
+                      'each project. See git archive.')
 group.add_option('-g', '--groups',
                  dest='groups', default='default',
                  help='restrict manifest projects to ones with specified '