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)
commitad67a4705ceece3a371f22a8ad37d284ec4aae76
treea9f9c18eccc3a938b891297bae50d496c5fb7595
parentc63b6d1884d0510a03f21633050e140ea58cace9
Add NO_LWKT_SPLIT_USERPRI to the LINTs.
sys/config/LINT
sys/config/LINT64