*** empty log message ***

[splint.git] / test / db1 / Makefile

diff --git a/test/db1/Makefile b/test/db1/Makefile
index 819c7835bb89df4ca9af59086b1e160c231a4fc6..62d52dff4fca8724cd06da3127adc18f5109c148 100644 (file)
--- a/test/db1/Makefile
+++ b/test/db1/Makefile
@@ -54,7 +54,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.