Added support for ISO C99 _Bool and stdbool bool/true/false. The

[splint.git] / test / db2 / Makefile

diff --git a/test/db2/Makefile b/test/db2/Makefile
index 18da4202c9e27bae3a0ffe8604ac5432e92bc210..11965e076e17aa9f4e7b2e994b75d2fb838ddeff 100644 (file)
--- a/test/db2/Makefile
+++ b/test/db2/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 = dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs 
@@ -22,9 +22,11 @@ test:
        $(MAKE) -e check
 
 check: $(LCSFILES)
-       -$(SPLINT) -exportlocal -showcol -allimponly -macrovarprefixexclude $(MODULES) -expect 15
-       -$(SPLINT) -exportlocal -showcol +allimponly $(MODULES) -expect 25
-       -$(SPLINT) -exportlocal -showcol -memchecks -macrovarprefixexclude $(MODULES)
+       -$(SPLINT) -exportlocal -showcol -allimponly -macrovarprefixexclude $(MODULES) -bufferoverflowhigh -expect 15
+       -$(SPLINT) -exportlocal -showcol +allimponly $(MODULES) -bufferoverflowhigh -expect 25
+       -$(SPLINT) -exportlocal -showcol -memchecks -macrovarprefixexclude -bufferoverflowhigh $(MODULES)
+
+# evans 2002-07-09: added bufferoverflowhigh flags to suppress sprintf warnings
 
 ### The following rules generate .lh and .lcs files from .lcl files.  They also
 ### ensure that .h files appear to be updated whenever the corresponding .lh
@@ -48,10 +50,10 @@ check: $(LCSFILES)
 ###
 
 clean: tidy
-       -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh >& /dev/null
+       -@rm -f *.c.html *.lcl.html *.h.html *.lh.html *.lcs *.lh 1> /dev/null
 
 tidy:
-       -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive >& /dev/null
+       -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 1> /dev/null
 
 ### The following dependencies ensure that imported LCL specs 
 ### are checked before the specs that import them.