X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/393e573f66358664fa7ad34c3436b8395ebc758a..99614ff2c5974b4c0f679a2c263177389c5bb4c5:/src/Makefile.am diff --git a/src/Makefile.am b/src/Makefile.am index 14ce349..7e4c5a6 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -380,7 +380,8 @@ splintme: splintsome: ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude lcllib.c -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +partial -/* $(LINTSRC) $(LCLSRC)*/ +# drl changed to use # for comment +#/* $(LINTSRC) $(LCLSRC)*/ splinttest: ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude cpplib.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null