diff options
author | Jannis Pohlmann <jannis.pohlmann@codethink.co.uk> | 2012-05-09 14:02:39 +0000 |
---|---|---|
committer | Jannis Pohlmann <jannis.pohlmann@codethink.co.uk> | 2012-05-09 14:02:39 +0000 |
commit | 02b9948cf80b2db8053058a8dcb60bf602945d74 (patch) | |
tree | 1a58db8239f312d7025e3a71ef27912a15466d15 /baserock-bootstrap | |
parent | dcab07b3308922e95da46391f917d9e896597f7c (diff) | |
download | morph-02b9948cf80b2db8053058a8dcb60bf602945d74.tar.gz |
Revert "bootstrap: disable dumping of build times"
This reverts commit 600218313a655815d902afad40c1eff5c45a20fd.
I think we should now be able to log build times again, as the .meta
files are being created again.
Diffstat (limited to 'baserock-bootstrap')
-rwxr-xr-x | baserock-bootstrap | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/baserock-bootstrap b/baserock-bootstrap index a6b2c5b0..ff06e584 100755 --- a/baserock-bootstrap +++ b/baserock-bootstrap @@ -471,7 +471,7 @@ case "$buildwhat" in ;; pass1b) time pass1_build_with_morph -# time pass1_dump_build_times + time pass1_dump_build_times ;; pass2a) time pass2_get_morph @@ -481,7 +481,7 @@ case "$buildwhat" in ;; pass2b) time pass2_build_with_morph_in_chroot -# time pass2_dump_build_times + time pass2_dump_build_times time pass2b_cleanup_at_end ;; pass3a) @@ -490,7 +490,7 @@ case "$buildwhat" in ;; pass3b) time pass3_build_with_morph_in_chroot -# time pass3_dump_build_times + time pass3_dump_build_times ;; *) echo "Usage! (sorry, I'm unhelpful)" 1>&2 exit 1 |