Re: CVS commit: src/sys/arch/hpcsh/conf

[Bernd Ernesti <netbsd%lists.veego.de@localhost>]

On Tue, Oct 28, 2008 at 02:08:44AM +0000, David Holland wrote:
> On Tue, Oct 28, 2008 at 12:05:04AM +0000, Valeriy E. Ushakov wrote:
>  > Module Name:       src
>  > Committed By:      uwe
>  > Date:              Tue Oct 28 00:05:04 UTC 2008
>  > 
>  > Modified Files:
>  >    src/sys/arch/hpcsh/conf: GENERIC
>  > 
>  > Log Message:
>  > options<SPACE> police
> 
> Should we have config(1) enforce this?

Please no, because that a cosmetic thing, which itself is good, but
it shouldn't stop a config run. E.g. if you have your own kernel and
forcing such things isn't nice.

Bernd