*** empty log message ***

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index cb7a79bf11aebae5bf5afb5fcc27104efa0bc986..a6f7c1eda240a7a3ee01229cc9c128732de7adbf 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -49,6 +49,7 @@ CHECK = 1 ### set to 1
 #LCLINT = //tmp/lclint-2.5q/bin/lclint
 #LCLINTNEW = //afs/cert.org/usr/dlaroche/evLCLintDev/bin/lclint
 #LCLINTNEW = /home/drl7x/evLCLintDev/evLCLintDev/bin/lclint
+#LCLINTNEW = /home/drl7x/stabletest/LCLintDev/bin/lclint
 LCLINTNEW = lclint
 LCLINT = ../bin/lclint
 
@@ -389,7 +390,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 llmain.c $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -supcounts -fcnuse -exportlocal -constuse  -mts file
+       ../bin/lclint -f lclint.lclintrc llmain.c $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -supcounts -fcnuse -exportlocal -unrecogcomments -constuse  -mts file
 
 # -mts file