*** empty log message ***

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 70155aff7e4c25ee2756d8d2fd7591cfa49b3b2c..e3de84a58fd294cd56b4c3c376006cf3c6476495 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -376,12 +376,12 @@ lintnew: splintme
 splintme: 
        ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
-                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw
+                    -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
 
 lintbuffercheck: 
        ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
-                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread +implictconstraint
+                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread +implictconstraint -dLINTBUFFERCHECK
 
 
 all: splint$(EXEEXT)