Fixed problem with shadow parameters.

[splint.git] / test / db3 / Makefile

diff --git a/test/db3/Makefile b/test/db3/Makefile
index 90da4256c55b2cf876fea1f5b91c25931674efa6..ec310ff1b88c5db27a08453d05b8edd859a2d07a 100644 (file)
--- a/test/db3/Makefile
+++ b/test/db3/Makefile
@@ -7,7 +7,7 @@
 .SUFFIXES: .lcl .lcs .lh .h .c .o
 .PHONY: check clean
 
-SHELL = /bin/csh -f
+### SHELL = /bin/csh -f
 
 SPLINT = splint
 SPLINTF = $(SPLINT) -f ./.splintrc
@@ -18,14 +18,15 @@ MODULES = employee eref empset ereftab erc dbase drive.c bool.lcl check.lcl
 OBJS = dbase.o employee.o empset.o erc.o eref.o ereftab.o 
 
 test: 
-       @$(MAKE) -e clean
        @$(MAKE) -e check
 
 ### 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 -bounds -modfilesystem +showsummary -exportconstant -exportlocal -protoparamprefix p_ -expect 5
+       -$(SPLINTF) -showcol $(MODULES) +strict -bounds -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