From owner-freebsd-bugs Thu May 18 1: 9:24 2000 Delivered-To: freebsd-bugs@freebsd.org Received: from dt051n0b.san.rr.com (dt051n0b.san.rr.com [204.210.32.11]) by hub.freebsd.org (Postfix) with ESMTP id 2770137B511; Thu, 18 May 2000 01:09:18 -0700 (PDT) (envelope-from DougB@gorean.org) Received: from gorean.org (doug@master [10.0.0.2]) by dt051n0b.san.rr.com (8.9.3/8.9.3) with ESMTP id BAA84587; Thu, 18 May 2000 01:05:22 -0700 (PDT) (envelope-from DougB@gorean.org) Message-ID: <3923A441.B3DB606F@gorean.org> Date: Thu, 18 May 2000 01:05:21 -0700 From: Doug Barton Organization: Triborough Bridge & Tunnel Authority X-Mailer: Mozilla 4.72 [en] (X11; U; FreeBSD 5.0-CURRENT-0508 i386) X-Accept-Language: en MIME-Version: 1.0 To: Marcel Moolenaar Cc: Jim Pirzyk , freebsd-bugs@FreeBSD.org, marcel@FreeBSD.org Subject: Re: conf/18569: tool source not installed References: <200005152000.NAA78222@freefall.freebsd.org> <39222BCA.36477618@gorean.org> <00051708303308.24352@wynken> <3922D2E0.90D4221E@gorean.org> <3922F32F.BFFB85FB@cup.hp.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-bugs@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org 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