tree 3f714ed282c94d2d055a2b5c050f4cf840f933bc
parent c9571423f843340de19ef576ccaa418ac72fdb58
author Chris Wolfe <cwolfe@chromium.org> 1327595778 -0500
committer Chris Wolfe <cwolfe@chromium.org> 1327599156 -0500

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