diff options
Diffstat (limited to 'build-scripts/helpers')
| -rw-r--r-- | build-scripts/helpers | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 7fc2a87..80b09dd 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -36,7 +36,10 @@ repo-sync-stubborn () { repo-sync-from-mirror () { setup-repo-vars - time cp -r /AndroidSource/.repo/ . + if [ "$MAKE_TARGETS" != "combine_kernel_prebuilt" ]; then + time cp -r /AndroidSource/.repo/ . + fi + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR -g $REPO_GROUPS # Save input manifest as build artifact for reference mkdir -p out |