Fixed problem with global struct assignments.

[splint.git] / test / db1 / Makefile

diff --git a/test/db1/Makefile b/test/db1/Makefile
index 024cee9376b7b9c1b637c2240c0f62ec08987ce1..050fc91e2d95cdfd5a1eacac5fdb7a2dc0b0261b 100644 (file)
--- a/test/db1/Makefile
+++ b/test/db1/Makefile
@@ -9,7 +9,7 @@
 
 ### SHELL = /bin/csh -f
 
-SPLINT = splint -booltype bool
+SPLINT = splint -booltype bool -booltrue TRUE -boolfalse FALSE
 LCL = $(SPLINT) -specundef +lh +quiet -nof
 SPLINTLH = $(SPLINT) +lh
 LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs 
@@ -29,7 +29,7 @@ test:
 
 check: $(LCSFILES)
        -$(SPLINT) -showcol -weak $(MODULES) -expect 19
-       -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 338
+       -$(SPLINT) -showcol +strict -bounds -modfilesystem +showsummary $(MODULES) -expect 338
 
 # evans 2002-07-09: 5 bufferoverflowhigh warnings for using sprintf