make/Defs-internal.gmk

changeset 414
84ece503953e
parent 330
7e13dbf7e8af
child 423
4d45c7117e23
     1.1 --- a/make/Defs-internal.gmk	Tue Feb 28 17:54:33 2012 -0800
     1.2 +++ b/make/Defs-internal.gmk	Tue Mar 06 20:25:18 2012 +0000
     1.3 @@ -79,7 +79,7 @@
     1.4  # Find all build_time_* files and print their contents in a list sorted
     1.5  # on the name of the sub repository.
     1.6  define ReportBuildTimes
     1.7 -$(PRINTF) "-- Build times ----------\nTarget %s\nStart %s\nEnd   %s\n%s\n%s\n-------------------------\n" \
     1.8 +$(PRINTF) -- "-- Build times ----------\nTarget %s\nStart %s\nEnd   %s\n%s\n%s\n-------------------------\n" \
     1.9  $1 \
    1.10  "`$(CAT) $(BUILDTIMESDIR)/build_time_start_TOTAL_human_readable`" \
    1.11  "`$(CAT) $(BUILDTIMESDIR)/build_time_end_TOTAL_human_readable`" \

mercurial