diff --git a/scripts/build b/scripts/build index 7c961ee548..6cf9068feb 100755 --- a/scripts/build +++ b/scripts/build @@ -558,8 +558,8 @@ record_timestamp BUILD_END if [ -n "${TRACE_BUILD_TIMING}" ]; then ( - echo "build timing details:" - show_timestamp_diff "total" BUILD_BEGIN BUILD_END + print_color "CLR_AUTOREMOVE" "\nBuild timing details:" + print_color "CLR_TARGET" "\n================================\n" show_timestamp_diff "unpack" BUILD_BEGIN BUILD_START show_timestamp_diff "pre-build setup" BUILD_START BUILD_CONFIGURE show_timestamp_diff "configure" BUILD_CONFIGURE BUILD_MAKE @@ -567,5 +567,8 @@ if [ -n "${TRACE_BUILD_TIMING}" ]; then show_timestamp_diff "make install" BUILD_MAKEINSTALL BUILD_COPY_SYSROOT show_timestamp_diff "copy sysroot" BUILD_COPY_SYSROOT BUILD_CLEANUP_INSTALL show_timestamp_diff "cleanup install" BUILD_CLEANUP_INSTALL BUILD_END + print_color "CLR_TARGET" "--------------------------------\n" + show_timestamp_diff "total time" BUILD_BEGIN BUILD_END + echo -e ) >&${VERBOSE_OUT} fi