X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..2e4caa51b7f68083f8e80e59475eb5d045ffd91e:/src/lclint.lclintrc?ds=sidebyside

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index 8ff3067..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)
@@ -83,3 +83,10 @@
 +numliteral
 
 -indentspaces 3
+
+#drl add 11-15-2001
++slashslashcomment
+
+
++constraintlocation
+-incondefs
\ No newline at end of file