Date: Thu, 18 May 2000 01:05:21 -0700 From: Doug Barton <DougB@gorean.org> To: Marcel Moolenaar <marcel@cup.hp.com> Cc: Jim Pirzyk <Jim.Pirzyk@disney.com>, freebsd-bugs@FreeBSD.org, marcel@FreeBSD.org Subject: Re: conf/18569: tool source not installed Message-ID: <3923A441.B3DB606F@gorean.org> References: <200005152000.NAA78222@freefall.freebsd.org> <39222BCA.36477618@gorean.org> <00051708303308.24352@wynken> <3922D2E0.90D4221E@gorean.org> <3922F32F.BFFB85FB@cup.hp.com>
next in thread | previous in thread | raw e-mail | index | archive | help
Marcel Moolenaar wrote: > > Doug Barton wrote: > > > > > > But you do need the tools source if you want to do a 'make world', > > > > I stand corrected. src/tools/install.sh is indeed called by > > Makefile.inc1. My understanding is that the stuff in the tools directory > > should never be mandatory, so Marcel, could you take a look at this? I > > of course may be wrong about this too. :) > > I don't know anything about the "non-mandatory status" of the tools > subdirectory. Can you give me a pointer? src/tools/README certainly gives me that impression, but I don't know that it's ever been laid down in law. I would certainly expect any tools necessary to build the system would be included as part of the system, and that file states, "these tools are not meant to be built as part of the standard system." You might want to double-check on -committers/current/hackers, since I'm certainly not in a position to tell you conclusively to change it. :) Doug -- "Live free or die" - State motto of my ancestral homeland, New Hampshire Do YOU Yahoo!? To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-bugs" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?3923A441.B3DB606F>