fixed.. I originally used STARTTIME!=date and someone confused me into using STARTTIME?=`date` but I forgot that they get evaluated at different times.
On Sun, 6 Jun 1999, 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. :) > > - Jordan > > > >-------------------------------------------------------------- > > >>>> 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 > > >-------------------------------------------------------------- > > > > Given that this is just cosmetic sugar (and IMHO totally unnecessary), > > getting it right would have been nice... > > > > > > -- > > 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 > > > > To Unsubscribe: send mail to majord...@freebsd.org > with "unsubscribe freebsd-current" in the body of the message > To Unsubscribe: send mail to majord...@freebsd.org with "unsubscribe freebsd-current" in the body of the message
