Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 31 Oct 1997 12:17:46 -0500 (EST)
From:      Chuck Robey <chuckr@glue.umd.edu>
To:        Simon Shapiro <Shimon@i-Connect.Net>
Cc:        John-Mark Gurney <gurney_j@resnet.uoregon.edu>, freebsd-current@FreeBSD.ORG
Subject:   Re: More on LINT Kernel Failure to compile
Message-ID:  <Pine.BSF.3.96.971031121427.11985C-100000@picnic.mat.net>
In-Reply-To: <XFMail.971031093401.Shimon@i-Connect.Net>

next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, 31 Oct 1997, Simon Shapiro wrote:

> ...
> 
> As usual I completely failed to make my point:
> 
> Had I had to compile the LINT kernel, I know how to do it.  The problem is
> that I assumed (hate that word :-) that the LINT kernel is sort of standard
> sanity check for sources and is supposed to compile all by itself, without
> me ``assisting'' it.

I thought that the LINT file was only intended to yield a maximal set of
sources, suitable for linting, and could not compile, because many of the
options chosen for lint would be mutually exclusive.  No one would ever,
ever be intended to run a LINT kernel.

If you added some off the wall option and wanted to (at least minimally)
document it, the first place you'd stop would be to insert the option into
LINT, with some appropriate comments.

> 
> Simon Shapiro                                                 Atlas Telecom
> Senior Architect         14355 SW Allen Blvd., Suite 130 Beaverton OR 97005
> Shimon@i-Connect.Net                                  Voice:   503.799.2313
> 
> 

----------------------------+-----------------------------------------------
Chuck Robey                 | Interests include any kind of voice or data 
chuckr@glue.umd.edu         | communications topic, C programming, and Unix.
213 Lakeside Drive Apt T-1  |
Greenbelt, MD 20770         | I run Journey2 and picnic, both FreeBSD
(301) 220-2114              | version 3.0 current -- and great FUN!
----------------------------+-----------------------------------------------







Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSF.3.96.971031121427.11985C-100000>