diff options
Diffstat (limited to 'build-scripts/helpers')
-rw-r--r-- | build-scripts/helpers | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index be84f2c..bedb9a4 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -23,11 +23,16 @@ setup-repo-vars () { repo-sync-from-mirror () { setup-repo-vars + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR # Save input manifest as build artifact for reference mkdir -p out cp .repo/manifest.xml out/source-manifest.xml + echo Replace Linaro git URLs with lightweight http git URLs. + ${BUILD_SCRIPT_ROOT}/sanitize-manifest.py .repo/manifest.xml > out/processed-manifest.xml + cp out/processed_manifest.xml .repo/manifest.xml + echo ---------------------------- time repo sync $REPO_QUIET -j$SYNC_JOBS # Restore source manifest temporarily to create pinned manifest |