Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 5b69e50b4b3bbcc245de8df0a0684ffb66f054f5..57960e67c342cd9b290600be28b25bcfcb841d3e 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -313,7 +313,7 @@ $(CHECKS): lclint.lcd
 ### 
 
 lint: 
-       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +forcehints +singleinclude -nestcomments -mustfree -namechecks -abstract -boolops -protoparammatch -unqualifiedtrans -dependenttrans -exposetrans $(ALLSRC) -dump lclint
+       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +forcehints +singleinclude -exportLocal -nestcomments -uniondef -abstract -namechecks -protoparammatch -boolops $(ALLSRC) -dump lclint