source-changes: CVS commit: src/sys/lib/libkern

Subject: CVS commit: src/sys/lib/libkern
To: None <source-changes@NetBSD.org>
From: Christos Zoulas <christos@netbsd.org>
List: source-changes
Date: 04/14/2006 18:24:56

Module Name:	src
Committed By:	christos
Date:		Fri Apr 14 18:24:56 UTC 2006

Modified Files:
	src/sys/lib/libkern: libkern.h

Log Message:
If __COVERITY__ is defined, turn on KASSERT and _DIAGASSERT.


To generate a diff of this commit:
cvs rdiff -r1.59 -r1.60 src/sys/lib/libkern/libkern.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.