diff options
Diffstat (limited to 'pkgs/development/compilers/openjdk/printf-fix.patch')
| -rw-r--r-- | pkgs/development/compilers/openjdk/printf-fix.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/development/compilers/openjdk/printf-fix.patch b/pkgs/development/compilers/openjdk/printf-fix.patch new file mode 100644 index 000000000000..3d66962a1197 --- /dev/null +++ b/pkgs/development/compilers/openjdk/printf-fix.patch @@ -0,0 +1,12 @@ +diff -Naur openjdk-orig/make/Defs-internal.gmk openjdk/make/Defs-internal.gmk +--- openjdk-orig/make/Defs-internal.gmk 2011-06-27 11:44:06.000000000 -0400 ++++ openjdk/make/Defs-internal.gmk 2011-07-31 18:30:15.784506762 -0400 +@@ -79,7 +79,7 @@ + # Find all build_time_* files and print their contents in a list sorted + # on the name of the sub repository. + define ReportBuildTimes +-$(PRINTF) "-- Build times ----------\nTarget %s\nStart %s\nEnd %s\n%s\n%s\n-------------------------\n" \ ++$(PRINTF) -- "-- Build times ----------\nTarget %s\nStart %s\nEnd %s\n%s\n%s\n-------------------------\n" \ + $1 \ + "`$(CAT) $(BUILDTIMESDIR)/build_time_start_TOTAL_human_readable`" \ + "`$(CAT) $(BUILDTIMESDIR)/build_time_end_TOTAL_human_readable`" \ |