diff options
Diffstat (limited to 'build-scripts/helpers')
| -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 |