From owner-freebsd-current Sun Mar 31 10:51:44 1996 Return-Path: owner-current Received: (from root@localhost) by freefall.freebsd.org (8.7.3/8.7.3) id KAA11618 for current-outgoing; Sun, 31 Mar 1996 10:51:44 -0800 (PST) Received: from time.cdrom.com (time.cdrom.com [204.216.27.226]) by freefall.freebsd.org (8.7.3/8.7.3) with ESMTP id KAA11613 for ; Sun, 31 Mar 1996 10:51:43 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by time.cdrom.com (8.7.5/8.6.9) with SMTP id KAA19892; Sun, 31 Mar 1996 10:50:06 -0800 (PST) To: paul@netcraft.co.uk cc: current@FreeBSD.org Subject: Re: lint.. In-reply-to: Your message of "Sun, 31 Mar 1996 19:12:35 +0100." <199603311812.TAA00582@originat.demon.co.uk> Date: Sun, 31 Mar 1996 10:50:06 -0800 Message-ID: <19890.828298206@time.cdrom.com> From: "Jordan K. Hubbard" Sender: owner-current@FreeBSD.org X-Loop: FreeBSD.org Precedence: bulk First it blew up trying to run lint on something when lint wasn't even installed. So then I installed lint by hand, figuring that was the temporary fix, and I ran make world again: gzip -c /a/src-current/usr.bin/xlint/xlint/lint.1 > lint.1.gz ===> usr.bin/xlint/llib lint -Cc /a/src-current/usr.bin/xlint/llib/llib-lc llib-lc: lint: cannot exec /usr/libexec/lint1: No such file or directory *** Error code 1 Stop. Nope, no cigar. It's easy to test this, simply nuke lint off your system and do a make world - it will fall over. Please fix this soon or let me back lint out of the various *.mk files so that nothing tries to use it before it's ready. I'll give you a couple of days before taking that step, but I'd really like to have make world working again. Jordan > In reply to Jordan K. Hubbard who said > > > > Will the person who enabled lint by default also please add the > > appropriate magic to the tools target so that `make world' doesn't > > fall over in -current anymore? We really need to make sure that > > `make world' keeps working when we make these sorts of changes and > > just fixing it by hand doesn't cut it. Thanks! > > > What tools target? What's breaking make world? > > -- > Paul Richards, Originative Solutions Ltd. > Internet: paul@netcraft.co.uk, http://www.netcraft.co.uk > Phone: 0370 462071 (Mobile), +44 1225 447500 (work)