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

Reply via email to