Prewinter break editing commit.

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 9560a72e936964ffdb8349d40922c9abd3b99f3c..bde8b8d62992bec2c43b96b87c51376536de72d2 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -246,6 +246,10 @@ endif
        @$(MAKE) -e opt
        @echo '//  Done Release '`cat $(VERSION_NUMBER)`
 
+
+flags: flags.def
+       grep "FLG_" flags.def > Headers/flag_codes.gen
+
 ###
 ### cleaning
 ###
@@ -304,7 +308,8 @@ $(CHECKS): lclint.lcd
 ### 
 
 lint: 
-       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint
+       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +singleinclude -mustfree -namechecks -abstract -boolops -protoparammatch  $(ALLSRC) -dump lclint
+