# DP: Prefix LLINKER with /usr/bin/time -v

--- a/src/gcc/Makefile.in
+++ b/src/gcc/Makefile.in
@@ -312,7 +312,7 @@ LINKER += $(LD_PICFLAG)
 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@