diff options
Diffstat (limited to 'debian/patches/gcc-verbose-lto-link.diff')
| -rw-r--r-- | debian/patches/gcc-verbose-lto-link.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/patches/gcc-verbose-lto-link.diff b/debian/patches/gcc-verbose-lto-link.diff new file mode 100644 index 0000000..41b1a7e --- /dev/null +++ b/debian/patches/gcc-verbose-lto-link.diff @@ -0,0 +1,13 @@ +# DP: Prefix LLINKER with /usr/bin/time -v + +--- a/src/gcc/Makefile.in ++++ b/src/gcc/Makefile.in +@@ -284,7 +284,7 @@ LINKER += $(NO_PIE_FLAG) + ifeq (@DO_LINK_MUTEX@,true) + LLINKER = $(SHELL) $(srcdir)/lock-and-run.sh linkfe.lck $(LINKER) + else +-LLINKER = $(LINKER) ++LLINKER = /usr/bin/time -v $(LINKER) + endif + + THIN_ARCHIVE_SUPPORT = @thin_archive_support@ |