Fixed problem with shadow parameters.

[splint.git] / test / db3 / Makefile

diff --git a/test/db3/Makefile b/test/db3/Makefile
index 123f9cd40ca1c3e871018ef7ad4de48410d5931f..ec310ff1b88c5db27a08453d05b8edd859a2d07a 100644 (file)
--- a/test/db3/Makefile
+++ b/test/db3/Makefile
@@ -23,8 +23,8 @@ test:
 ### Note there is a .splint file used for checking!
 
 check: $(LCSFILES)
-       -$(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
+       -$(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