[m-rev.] diff: deep profiler install mv

[Zoltan Somogyi]

deep_profiler/Mmakefile:
	Allow third and later installations to proceed without user
	interaction. Without this change, the mv command would insist on
	getting permission to overwrite an existing file.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/Mmakefile,v
retrieving revision 1.11
diff -u -b -r1.11 Mmakefile
--- Mmakefile	8 Feb 2004 11:53:22 -0000	1.11
+++ Mmakefile	15 Dec 2004 05:41:09 -0000
@@ -132,8 +132,10 @@
 	#
 	# The mv before the cp is there in case the executable is being
 	# executed when we do the install. The mv is of course expected to
-	# fail during a first-time installation.
+	# fail during a first-time installation. The rm is before the move
+	# in case this is the third or later installation.
 	-if test $(ENABLE_DEEP_PROFILER) = yes ; then \
+		rm $(INSTALL_CGI_DIR)/mdprof_cgi.was ; \
 		mv $(INSTALL_CGI_DIR)/mdprof_cgi \
 			$(INSTALL_CGI_DIR)/mdprof_cgi.was ; \
 		cp mdprof_cgi $(INSTALL_CGI_DIR) ; \
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------