diff options
author | Vishal Bhoj <vishal.bhoj@linaro.org> | 2014-11-12 21:28:53 +0530 |
---|---|---|
committer | Vishal Bhoj <vishal.bhoj@linaro.org> | 2014-11-13 15:46:41 +0530 |
commit | bab9a3ed00309d747e0695c3c3b5d4e11441e410 (patch) | |
tree | 9c17e071af2a22361a4692d113d869fe0a07e6eb | |
parent | 2c48b22d592df9b0fcc4ad12e5b96d720c428d14 (diff) |
Add support to specify branch name for local_manifests
Change-Id: Ib477f60826a0558ef1e394d8f84c152d9e17f5e7
Signed-off-by: Vishal Bhoj <vishal.bhoj@linaro.org>
-rw-r--r-- | build-scripts/helpers | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index d421968..4055d31 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -42,8 +42,12 @@ repo-sync-from-mirror () { cp .repo/manifest.xml out/source-manifest.xml if [ -n "$LOCAL_MANIFEST" ]; then + if [ ! -n "$LOCAL_MANIFEST_BRANCH" ]; then + LOCAL_MANIFEST_BRANCH = master + fi cd .repo/ - git clone $LOCAL_MANIFEST + rm -rf local_manifests + git clone $LOCAL_MANIFEST -b $LOCAL_MANIFEST_BRANCH local_manifests cd - fi |