At 12:49 pm -0700 6/6/99, Jordan K. Hubbard wrote:
>I don't get you.  We did get it right and it works fine.  If you
>change your date in the middle then it can't help you, nor can it
>help you if the world build completely fails in the middle or
>something. :)

No, really, only the subject line is in jest:

bludnok# grep 'elf make world' ,makelog
>>> elf make world started on Sun Jun  6 16:26:52 BST 1999
>>> elf make world started on Sun Jun  6 19:55:14 BST 1999
>>> elf make world completed on Sun Jun  6 19:55:15 BST 1999
bludnok#

Or alternatively, the makefile:

STARTTIME?= `LC_TIME=C date`

thing:
        @echo "started on ${STARTTIME}"
        sleep 10
        @echo "started on ${STARTTIME}"
        @echo "completed on `LC_TIME=C date`"

produces the following:

started on Sun Jun  6 21:30:54 BST 1999
sleep 10
started on Sun Jun  6 21:31:04 BST 1999
completed on Sun Jun  6 21:31:04 BST 1999

Make isn't doing what you expected (here at least).
Last cvsupd at Sun Jun  6 04:02:36 BST 1999.


--
Bob Bishop              (0118) 977 4017  international code +44 118
r...@gid.co.uk        fax (0118) 989 4254  between 0800 and 1800 UK




To Unsubscribe: send mail to majord...@freebsd.org
with "unsubscribe freebsd-current" in the body of the message

Reply via email to