X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/test/db3/Makefile diff --git a/test/db3/Makefile b/test/db3/Makefile index 48118f8..123f9cd 100644 --- a/test/db3/Makefile +++ b/test/db3/Makefile @@ -23,8 +23,10 @@ test: ### Note there is a .splint file used for checking! check: $(LCSFILES) - -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ - -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ +strictlib -expect 77 + -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ -expect 5 + -$(SPLINTF) -showcol $(MODULES) +strict -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ +strictlib -expect 82 + +# evans 2002-07-09: 5 new sprintf warnings ### The following rules generate .lh and .lcs files from .lcl files. They also