Skip site navigation (1)Skip section navigation (2)
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>

next in thread | raw e-mail | index | archive | help
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




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200012060302.eB632ZN28189>