diff options
Diffstat (limited to 'build-scripts')
| -rw-r--r-- | build-scripts/helpers | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 5a2ad9d..3338d5c 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -41,9 +41,11 @@ repo-sync-from-mirror () { mkdir -p out cp .repo/manifest.xml out/source-manifest.xml - 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}" - cp processed-manifest.xml .repo/manifest.xml + 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}" + cp processed-manifest.xml .repo/manifest.xml + fi echo ---------------------------- repo-sync-stubborn |