diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 11:52:07 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 11:52:07 +0300 |
| commit | 7905aac8a1e8a7bffc19ed7da41ea1ae3c136c7c (patch) | |
| tree | e84fbca18dc1df240c7b92448e4b29ce2141ead5 /build-scripts/helpers | |
| parent | 7882a5ab27434e5c86fd115d889cec11a8a4df81 (diff) | |
Provide better stats for build times of individual build stages.
Better == more human/machine parsable.
Diffstat (limited to 'build-scripts/helpers')
| -rw-r--r-- | build-scripts/helpers | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers index 0ce9ca4..da9f5f8 100644 --- a/build-scripts/helpers +++ b/build-scripts/helpers @@ -45,11 +45,19 @@ repo-sync-from-mirror () { repo-sync-from-seed () { setup-repo-vars + + export TIMEFORMAT="TIME: Seed download and uncompress: %R" time curl --silent --show-error "$REPO_SEED_URL" | gzip -d -c | tar x + unset TIMEFORMAT + repo init $REPO_QUIET -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" $REPO_MIRROR --reference=$PWD/$(basename $REPO_SEED_URL .tar.gz) mkdir -p out cp .repo/manifest.xml out/source-manifest.xml + + export TIMEFORMAT="TIME: Repo sync (using seed as reference): %R" time repo sync $REPO_QUIET -j$SYNC_JOBS + unset TIMEFORMAT + repo manifest -r -o out/pinned-manifest.xml } |