diff options
| -rw-r--r-- | build-scripts/build-android | 3 | ||||
| -rw-r--r-- | build-scripts/helpers | 8 |
2 files changed, 11 insertions, 0 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 5c5cf6a..8f1a276 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -103,11 +103,14 @@ else fi trap - ERR + export TIMEFORMAT="TIME: Compilation: %R" time $MAKE $MAKE_OPTS -j$MAKE_JOBS $MAKE_TARGETS $SHOWCOMMANDS WITH_HOST_DALVIK="$WITH_HOST_DALVIK" HOST_CC=gcc-4.5 HOST_CXX=g++-4.5 HOST_CPP=cpp-4.5 + unset TIMEFORMAT trap infrastructure_error ERR # Show remaining disk space to catch early if # we're approaching ramdisk limit again + echo "Remaining disk space after build:" df if [ -n "$BUILD_SYSROOT" ]; then 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 } |