]> andersk Git - splint.git/blobdiff - src/lclint.lclintrc
*** empty log message ***
[splint.git] / src / lclint.lclintrc
index 8ff3067160e8630e9ed204adcfdae2c58814653c..7bdc921ae707b329c10a840e170bf13f1dc65a4a 100644 (file)
@@ -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)
This page took 0.031647 seconds and 4 git commands to generate.