[m-rev.] diff: make install fix

[Zoltan Somogyi]

deep_profiler/Mmakefile:
	Avoid a question that "make install" can ask in some circumstances
	about overwriting a read-only file.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/Mmakefile,v
retrieving revision 1.21
diff -u -b -r1.21 Mmakefile
--- Mmakefile	20 Jul 2007 01:22:02 -0000	1.21
+++ Mmakefile	7 Aug 2007 17:22:12 -0000
@@ -163,7 +163,7 @@
 	# in case this is the third or later installation.
 	-if test $(ENABLE_DEEP_PROFILER) = yes ; then \
 		rm -f $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \
-		mv $(INSTALL_CGI_DIR)/mdprof_cgi \
+		mv -f $(INSTALL_CGI_DIR)/mdprof_cgi \
 			$(INSTALL_CGI_DIR)/mdprof_cgi.was ; \
 		cp mdprof_cgi $(INSTALL_CGI_DIR) ; \
 	fi
cvs diff: Diffing notes
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------