Date: Tue, 5 Dec 2000 19:02:35 -0800 (PST) From: "Thomas D. Dean" <tomdean@ix.netcom.com> To: current@FreeBSD.ORG Subject: Make World Time Format Message-ID: <200012060302.eB632ZN28189@ix.netcom.com>
index | next in thread | raw e-mail
Is it possible to go back to the old style of reporting world time in
Makefile? I have been collecting make time stats.
This is where the last 3 lines of the output are:
--------------------------------------------------------------
>>> elf make world started on Thu Aug 31 09:47:50 PDT 2000
>>> elf make world completed on Thu Aug 31 17:44:08 PDT 2000
--------------------------------------------------------------
tomdean
diff -c Makefile~ Makefile
*** Makefile~ Tue Dec 5 18:57:41 2000
--- Makefile Tue Dec 5 18:56:31 2000
***************
*** 109,116 ****
# success, regardless of how old your existing system is.
#
world: upgrade_checks
@echo "--------------------------------------------------------------"
! @echo ">>> ${OBJFORMAT} make world started on `LC_TIME=C date`"
@echo "--------------------------------------------------------------"
.if target(pre-world)
@echo
--- 109,117 ----
# success, regardless of how old your existing system is.
#
world: upgrade_checks
+ WORLD_START="`LC_TIME=C date`"
@echo "--------------------------------------------------------------"
! @echo ">>> ${OBJFORMAT} make world started on ${WORLD_START}"
@echo "--------------------------------------------------------------"
.if target(pre-world)
@echo
***************
*** 130,135 ****
--- 131,137 ----
.endif
@echo
@echo "--------------------------------------------------------------"
+ @echo ">>> ${OBJFORMAT} make world started on ${WORLD_START}"
@echo ">>> ${OBJFORMAT} make world completed on `LC_TIME=C date`"
@echo "--------------------------------------------------------------"
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message
help
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200012060302.eB632ZN28189>