| commit | 1a73322ea05dc2925b1e3d0bc885d989f6238c05 | [log] [tgz] |
|---|---|---|
| author | Scott Fan <fancp2007@gmail.com> | Sun Feb 17 22:36:42 2013 +0800 |
| committer | Scott Fan <fancp2007@gmail.com> | Sun Feb 17 22:36:42 2013 +0800 |
| tree | f532440c587b9d27f2e489ba06b4f30c0536798c | |
| parent | cd07cfae1c5c3588ea4a4ca1fb85e208f1aa5b33 [diff] |
Allow user to specify git path for mirror repositories. In some case, especially local_manifest.xml for mirror repos, user may want to specify a different gitdir path. The project's 'path' attr must be set in the mirror manifest files, meanwhile, its 'force-path' attr must be set to 'true'. Change-Id: Ib0a639e9014811701fbc4eccc3b03330d9b9f4b2 Signed-off-by: Scott Fan <fancp2007@gmail.com>