Subject: Re: Turning off optimization on selected files.
To: None <>
From: Eduardo Horvath <>
List: tech-kern
Date: 06/08/2000 15:37:45
On 8 Jun 2000 wrote:

> writes:
> > torek@BSDI.COM (Chris Torek) writes:
> > > Oops.  Guess I applied this *after* I went to BSDI. :-)
> > 
> > That code came into our tree in '96.  8-)
> The change to fixfiles did, yes.  eeh just added that change to
> addfile() i guess...
> I'm not convinced that I agree with it.
> in particular, changing the options by which an existing file gets
> included, or changing the flags that it needs ... seems like it's not
> going to be the right thing at all.
> i suppose the check for the srcfile may be a reasonable one...
> but other than that, I think i prefer my patch...

Fine.  I'm happy as long as I can override things and don't need to
compile individual files by hand.

Eduardo Horvath