X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/4a689c7f182a8860dda9ef42e85afc3fbc9b7cab..86d93ed383c14be2a4548bd8ab98e4c1a79cb1f0:/src/Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 70155af..e3de84a 100644
--- 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)