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 22ba269..fa3083e 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -31,7 +31,7 @@ repo-sync-from-mirror () { 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 + cp out/processed-manifest.xml .repo/manifest.xml echo ---------------------------- time repo sync $REPO_QUIET -j$SYNC_JOBS @@ -62,7 +62,7 @@ repo-sync-from-seed () { 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 + cp out/processed-manifest.xml .repo/manifest.xml export TIMEFORMAT="TIME: Repo sync (using seed as reference): %lR" time repo sync $REPO_QUIET -j$SYNC_JOBS |