*** empty log message ***

diff --git a/src/Makefile b/src/Makefile
index 428b5d33ffc8b7d4bbe270693d56e1e7f2ef1aa8..39f41637babc9113d6b17dfd44f004a668edb0e0 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -377,6 +377,9 @@ lintweak:
 lintnew: 
        ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw
 
+lintfcn: 
+       ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude $(ALLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +fcnconstraint
+
 linttest: 
        ${LCLINTNEW} -f lclint.lclintrc $(CPPFLAGS) +singleinclude cgrammar.c -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +keep