On Sat, Oct 12, 2002 at 05:18:55PM +0200, Julio Merino wrote:
> This old PR is wrong, as I sent in a message to the audit trail... but as it seems
> it's still open. The problem is that I didn't realize that I need to use make
> options if I wanted to use Makefile.boot. Can anybody close it, please?
> 
> http://www.netbsd.org/cgi-bin/query-pr-single.pl?number=17308
> 
> Thank you, and sorry.

Done.

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
--