X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/2934b455c4074408a0f819009c071456f021ba21..288cbc5cbbbb68f1c95fd491c667d34e162f7863:/src/lclint.lclintrc

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index bd278b2..6a272d7 100644
--- a/src/lclint.lclintrc
+++ b/src/lclint.lclintrc
@@ -1,7 +1,7 @@
 -IHeaders 
 -DDEBUGPRINT
 
-## -systemdirs /usr/include:/usr/local/lib/
+-systemdirs /usr/include:/usr/local/lib/:/usr/lib
 
 +allmacros # check all macros
 +checks    # checks mode (moderately strict checking)
@@ -67,8 +67,9 @@
 ### Some ANSI limits exceeded (tsk, tsk, tsk...)
 
 -controlnestdepth 25 
--numenummembers 415
-
+-numenummembers 512 
++internalnamelen 50
+ 
 +posixlib
      
 ### this should be builtin to pp?
@@ -80,3 +81,12 @@
 -boolfalse FALSE
 
 +numliteral
+
+-indentspaces 3
+
+#drl add 11-15-2001
++slashslashcomment
+
+
++constraintlocation
+-incondefs
\ No newline at end of file