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
--- MakefileTue 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
