diff options
| -rw-r--r-- | build-scripts/helpers | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index a175688..d421968 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -41,6 +41,12 @@ repo-sync-from-mirror () { mkdir -p out cp .repo/manifest.xml out/source-manifest.xml + if [ -n "$LOCAL_MANIFEST" ]; then + cd .repo/ + git clone $LOCAL_MANIFEST + cd - + fi + if [ "$REWRITE_MANIFEST" != "0" ]; then echo Replace Linaro git URLs with lightweight http git URLs. ${BUILD_SCRIPT_ROOT}/rewrite-manifest.py .repo/manifest.xml -o processed-manifest.xml -u "${MANIFEST_REPO}" |