[m-rev.] diff: Makefile logs

[Zoltan Somogyi]

Makefile:
	Don't automatically save the output of "make all" and "make install"
	in log files. If the users want to save the info, they can do so
	themselves.

Zoltan.

Index: Makefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/Makefile,v
retrieving revision 1.12
diff -u -b -r1.12 Makefile
--- Makefile	1 Nov 2004 04:46:18 -0000	1.12
+++ Makefile	21 Aug 2005 04:06:14 -0000
@@ -26,7 +26,7 @@
 
 .PHONY: all
 all:
-	$(MMAKE) MMAKEFLAGS=$(PARALLEL) all 2>&1 | tee make_all.log
+	$(MMAKE) MMAKEFLAGS=$(PARALLEL) all
 
 .PHONY: libmmc
 libmmc:
@@ -34,7 +34,7 @@
 
 .PHONY: install
 install:
-	$(MMAKE) MMAKEFLAGS=$(PARALLEL) install 2>&1 | tee make_install.log
+	$(MMAKE) MMAKEFLAGS=$(PARALLEL) install
 
 # `mmake clean' has a different meaning to the usual GNU standard `make clean':
 # it removes the .c files, which makes bootstrapping impossible unless you
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------