diff options
Diffstat (limited to 'build-scripts/helpers')
| -rw-r--r-- | build-scripts/helpers | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 2c67f98..5a2ad9d 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -42,7 +42,7 @@ repo-sync-from-mirror () { 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 > processed-manifest.xml + ${BUILD_SCRIPT_ROOT}/rewrite-manifest.py .repo/manifest.xml -o processed-manifest.xml -u "${MANIFEST_REPO}" cp processed-manifest.xml .repo/manifest.xml echo ---------------------------- @@ -75,7 +75,7 @@ repo-sync-from-seed () { 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 > processed-manifest.xml + ${BUILD_SCRIPT_ROOT}/rewrite-manifest.py .repo/manifest.xml -o processed-manifest.xml -u "${MANIFEST_REPO}" cp processed-manifest.xml .repo/manifest.xml export TIMEFORMAT="TIME: Repo sync (using seed as reference): %lR" |