make/Defs-internal.gmk
changeset 12024 452c9c3f0a96
parent 8917 a3bac6e9ee79
child 12256 e66c077cb815
equal deleted inserted replaced
11947:9987f56a2916 12024:452c9c3f0a96
    77 endef
    77 endef
    78 
    78 
    79 # Find all build_time_* files and print their contents in a list sorted
    79 # Find all build_time_* files and print their contents in a list sorted
    80 # on the name of the sub repository.
    80 # on the name of the sub repository.
    81 define ReportBuildTimes
    81 define ReportBuildTimes
    82 $(PRINTF) "-- Build times ----------\nTarget %s\nStart %s\nEnd   %s\n%s\n%s\n-------------------------\n" \
    82 $(PRINTF) -- "-- Build times ----------\nTarget %s\nStart %s\nEnd   %s\n%s\n%s\n-------------------------\n" \
    83 $1 \
    83 $1 \
    84 "`$(CAT) $(BUILDTIMESDIR)/build_time_start_TOTAL_human_readable`" \
    84 "`$(CAT) $(BUILDTIMESDIR)/build_time_start_TOTAL_human_readable`" \
    85 "`$(CAT) $(BUILDTIMESDIR)/build_time_end_TOTAL_human_readable`" \
    85 "`$(CAT) $(BUILDTIMESDIR)/build_time_end_TOTAL_human_readable`" \
    86 "`$(LS) $(BUILDTIMESDIR)/build_time_diff_* | $(GREP) -v _TOTAL | $(XARGS) $(CAT) | $(SORT) -k 2`" \
    86 "`$(LS) $(BUILDTIMESDIR)/build_time_diff_* | $(GREP) -v _TOTAL | $(XARGS) $(CAT) | $(SORT) -k 2`" \
    87 "`$(CAT) $(BUILDTIMESDIR)/build_time_diff_TOTAL`"
    87 "`$(CAT) $(BUILDTIMESDIR)/build_time_diff_TOTAL`"