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 [EMAIL PROTECTED]
with "unsubscribe freebsd-current" in the body of the message
