aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build-scripts/helpers4
1 files changed, 4 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers
index f0b6363..f1f5048 100644
--- a/build-scripts/helpers
+++ b/build-scripts/helpers
@@ -68,6 +68,8 @@ repo-sync-from-mirror () {
# Restore source manifest temporarily to create pinned manifest
cp out/source-manifest.xml .repo/manifest.xml
repo manifest -r -o out/pinned-manifest.xml
+ # Generate source-manifest.xml to include projects in local_manifests as well
+ repo manifest -o out/source-manifest.xml
}
repo-sync-from-seed () {
@@ -103,6 +105,8 @@ repo-sync-from-seed () {
# Restore source manifest temporarily to create pinned manifest
cp out/source-manifest.xml .repo/manifest.xml
repo manifest -r -o out/pinned-manifest.xml
+ # Generate source-manifest.xml to include projects in local_manifests as well
+ repo manifest -o out/source-manifest.xml
}
calc_make_jobs () {