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