diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2014-06-16 18:52:22 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2014-06-16 18:52:22 +0300 |
| commit | 9343a09d9a812ddd3dda10ecf9d2abf01ea75d98 (patch) | |
| tree | 4ed52e0a624f4f5c32cb31f0694cccbc8b5a48b2 | |
| parent | db47ec7fc8dd0377a3b12779b2310b48de786f9d (diff) | |
Make manifest URL rewriting option (REWRITE_MANIFEST=0 to disable).
Change-Id: I73fabc582ce021f25113511c34aab949eb4659a6
| -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 |