X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3120b46202eb0e24e26bafc9c49cdad77a6ba32c..2cecdaff4e89d020d2500eab63b6fe6caa537788:/test/db1/Makefile

diff --git a/test/db1/Makefile b/test/db1/Makefile
index 98bf187..62d52df 100644
--- a/test/db1/Makefile
+++ b/test/db1/Makefile
@@ -1,5 +1,5 @@
 ###
-### LCLint db1 test
+### Splint db1 test
 ###
 ### Taken from sample, second iteration: weakchecks
 ###
@@ -7,11 +7,11 @@
 .SUFFIXES: .lcl .lcs .lh .h .c .o
 .PHONY: check clean
 
-SHELL = /bin/csh -f
+### SHELL = /bin/csh -f
 
-LCLINT = lclint -booltype bool
-LCL = $(LCLINT) -specundef +lh +quiet -nof
-LCLINTLH = $(LCLINT) +lh
+SPLINT = splint -booltype bool
+LCL = $(SPLINT) -specundef +lh +quiet -nof
+SPLINTLH = $(SPLINT) +lh
 LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs 
 
 MODULES = bool.lcl employee eref empset ereftab erc dbase drive.c
@@ -21,9 +21,13 @@ test:
 	$(MAKE) -e clean
 	$(MAKE) -e check
 
+###
+### Removed +showscan, produces different results on different platforms
+###
+
 check: $(LCSFILES)
-	$(LCLINT) -showcol -weak +showscan $(MODULES) -expect 16
-	$(LCLINT) -showcol +strict -modfilesystem +showscan +showsummary $(MODULES) -expect 333
+	-$(SPLINT) -showcol -weak $(MODULES) -expect 16
+	-$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 333
 
 ### 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
@@ -47,10 +51,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 11> /dev/null
 
 ### The following dependencies ensure that imported LCL specs 
 ### are checked before the specs that import them.