Add NO_LWKT_SPLIT_USERPRI to the LINTs.
authorSascha Wildner <saw@online.de>
Fri, 28 Sep 2012 15:47:13 +0000 (17:47 +0200)
committerSascha Wildner <saw@online.de>
Fri, 28 Sep 2012 15:47:13 +0000 (17:47 +0200)
sys/config/LINT
sys/config/LINT64

index 09b7224..f0d72be 100644 (file)
@@ -2528,6 +2528,7 @@ options   LINPROCFS
 options        LOCKF_DEBUG
 #options       MAXFILES=xxx
 options                MBUF_DEBUG
+options                NO_LWKT_SPLIT_USERPRI
 options        PANIC_DEBUG
 options        PMAP_DEBUG
 options        PSM_DEBUG=4
index 44d63b2..4364bb7 100644 (file)
@@ -2290,6 +2290,7 @@ options   KEY
 options        LOCKF_DEBUG
 #options       MAXFILES=xxx
 options                MBUF_DEBUG
+options                NO_LWKT_SPLIT_USERPRI
 options        PANIC_DEBUG
 options        PMAP_DEBUG
 options        PSM_DEBUG=4