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

["Perry E. Metzger" <perry%piermont.com@localhost>]

Bernd Ernesti <netbsd%lists.veego.de@localhost> writes:
> 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.

However, it might not be unreasonable to have an awk script that
catches such things on request...

-- 
Perry E. Metzger                perry%piermont.com@localhost