Save lint output in a file.

diff --git a/src/Makefile b/src/Makefile
index 6566885e01c52d89580b733442cf1635d962ec7e..d77c4b6b10db3d3c8376dbca5eedf980c2cf9e6a 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,6 +1,6 @@
 # Makefile for file(1) cmd. 
 # Copyright (c) Ian F. Darwin 86/09/01 - see LEGAL.NOTICE.
-# @(#)$Header: /home/glen/git/file/cvs/file/src/Attic/Makefile,v 1.12 1987/11/06 11:34:45 ian Exp $
+# @(#)$Header: /home/glen/git/file/cvs/file/src/Attic/Makefile,v 1.13 1987/11/06 21:26:21 ian Exp $
 #
 # This software is not subject to any license of the American Telephone
 # and Telegraph Company or of the Regents of the University of California.
@@ -74,7 +74,7 @@ test:         all $(OFILE)
 file:          $(OBJS)
                cc $(CFLAGS) $(OBJS) -o $@
 lint:          $(SRCS)
-               lint -ha $(DEFS) $(SRCS)
+               lint -ha $(DEFS) $(SRCS) | tee $@
 magic:         magdir
 #              exclude RCS or SCCS dirs:
                cat magdir/[a-z]* >$@