Subject: Re: Turning off optimization on selected files.
To: Chris Torek <torek@BSDI.COM>
From: None <>
List: tech-kern
Date: 06/08/2000 15:23:14 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...