diff options
author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 16:51:14 +0300 |
---|---|---|
committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 16:51:14 +0300 |
commit | 35ca98d0570389f996ea3630583e4331dd344ec1 (patch) | |
tree | bfd92ffce1764c8c52d8b499450110fca5703818 /utils/seeded-builds | |
parent | 57c7fd7a412e5c97736a0720a99a1546d3c47bb7 (diff) |
Make "time" logging be more descriptive (same as in build script).
Diffstat (limited to 'utils/seeded-builds')
-rwxr-xr-x | utils/seeded-builds/seed-update | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/utils/seeded-builds/seed-update b/utils/seeded-builds/seed-update index 0d4732f..098470b 100755 --- a/utils/seeded-builds/seed-update +++ b/utils/seeded-builds/seed-update @@ -13,9 +13,17 @@ OUT_DIR=/mnt2/seed SEED=$1 cd $CHECKOUT_DIR/$SEED + +export TIMEFORMAT="TIME: repo sync: %lR" time repo sync --quiet -j2 -f +unset TIMEFORMAT + cd $CHECKOUT_DIR + +export TIMEFORMAT="TIME: Creating new seed tarball: %lR" time tar c $SEED/ | gzip -c -1 >$SCRATCH_DIR/$SEED.tar.gz.new +unset TIMEFORMAT + [ -f $OUT_DIR/$SEED.tar.gz ] && mv $OUT_DIR/$SEED.tar.gz $SCRATCH_DIR/$SEED.tar.gz.old rm -f $OUT_DIR/$SEED.tar.gz.old ln -s $SCRATCH_DIR/$SEED.tar.gz.old $OUT_DIR/$SEED.tar.gz.old |