Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index 2dd90c04aba805b945a3aeb9b62eed33955a3840..0332ea9334f8b2ffb0449587860e9d0370a45324 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -389,7 +389,7 @@ linttest:
        ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude cpphash.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +partial
 
 lint: 
-       ../bin/lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse 
+       ../bin/lclint -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -supcounts -fcnuse -exportlocal -constuse 
 
 # -mts file