diff options
| author | Chris Wolfe <cwolfe@chromium.org> | 2012-01-26 11:36:18 -0500 |
|---|---|---|
| committer | Chris Wolfe <cwolfe@chromium.org> | 2012-01-26 12:32:36 -0500 |
| commit | e9dc3b33680571731181f30fbd38317d19c24652 (patch) | |
| tree | 3f714ed282c94d2d055a2b5c050f4cf840f933bc /main.py | |
| parent | c9571423f843340de19ef576ccaa418ac72fdb58 (diff) | |
| download | git-repo-e9dc3b33680571731181f30fbd38317d19c24652.tar.gz | |
sync: Add manifest_name parameter
This parameter changes the manifest used by 'repo sync' for only
this execution. It should be useful for developers wishing to get
the repo temporarily into a known state, without clobbering their
existing manifest.
Tested by shifting Chrome OS between minilayout and full, and
between several release-builder-generated manifests.
Change-Id: I14194b665195b0e78f368d9ec8b8a83227af2627
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions