*** empty log message ***

[splint.git] / test / db1 / Makefile

diff --git a/test/db1/Makefile b/test/db1/Makefile
index 8e6179086873e0b348c71ee3c61ca5c107d17e2f..819c7835bb89df4ca9af59086b1e160c231a4fc6 100644 (file)
--- a/test/db1/Makefile
+++ b/test/db1/Makefile
@@ -7,7 +7,7 @@
 .SUFFIXES: .lcl .lcs .lh .h .c .o
 .PHONY: check clean
 
-SHELL = /bin/csh -f
+### SHELL = /bin/csh -f
 
 SPLINT = splint -booltype bool
 LCL = $(SPLINT) -specundef +lh +quiet -nof
@@ -26,8 +26,8 @@ test:
 ###
 
 check: $(LCSFILES)
-       $(SPLINT) -showcol -weak $(MODULES) -expect 16
-       $(SPLINT) -showcol +strict -modfilesystem +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
@@ -51,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 1>& /dev/null
 
 ### The following dependencies ensure that imported LCL specs 
 ### are checked before the specs that import them.