]> andersk Git - splint.git/blobdiff - test/db1/Makefile
Added support for ISO C99 _Bool and stdbool bool/true/false. The
[splint.git] / test / db1 / Makefile
index 819c7835bb89df4ca9af59086b1e160c231a4fc6..8d5274c437290dcb7a6acbde47f6f6f93dc5d3ce 100644 (file)
@@ -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 
@@ -25,9 +25,13 @@ test:
 ### Removed +showscan, produces different results on different platforms
 ###
 
+### evans 2002-12-17: 2 fewer weak errors because of -abstractcompare default in weak
+
 check: $(LCSFILES)
-       -$(SPLINT) -showcol -weak $(MODULES) -expect 16
-       -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 333
+       -$(SPLINT) -showcol -weak $(MODULES) -expect 19
+       -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 338
+
+# evans 2002-07-09: 5 bufferoverflowhigh warnings for using sprintf
 
 ### 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
@@ -54,7 +58,7 @@ clean: tidy
        -@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 1>& /dev/null
+       -@rm -f ,* .,* *.CKP *.BAK .emacs_[0-9]* core a.out *.*~ *~ *.o drive 11> /dev/null
 
 ### The following dependencies ensure that imported LCL specs 
 ### are checked before the specs that import them.
This page took 0.055441 seconds and 4 git commands to generate.