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`" \