Tried to fix some problems with the configuration system.

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index e41ed5eb23cc206d3d42c95f84297910ef423c78..2c63cf8fc3f36386727cdfc8d90a157d900a58bf 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -203,6 +203,11 @@ lintnew:
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
                     -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw
 
+lintbuffercheck: 
+       ./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
+                    +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
+                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds
+
 
 
 .PHONY: purify