[m-dev.] diff: fix installation problem with mdbrc

[Fergus Henderson]

Estimated hours taken: 0.25

Fix a problem reported by Luke Evans <Luke.Evans at seagatesoftware.com>.

scripts/Mmakefile:
	Make sure that we make the previously installed mdbrc
	(if any) writable before trying to install the new mdbrc.

Workspace: /d-drive/home/hg/fjh/mercury
Index: scripts/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmakefile,v
retrieving revision 1.18
diff -u -d -r1.18 Mmakefile
--- scripts/Mmakefile	1999/10/21 14:36:34	1.18
+++ scripts/Mmakefile	1999/11/23 08:46:20
@@ -78,6 +78,12 @@
 
 .PHONY: install_debugger_scripts
 install_debugger_scripts: $(DEBUGGER_SCRIPTS) install_dirs
+	# Reportedly old versions of Mercury
+	# used to install mdbrc as read-only.
+	# If that is the case, then we need to make sure
+	# that it gets made writable before we install the
+	# new version.
+	-chmod u+w $(INSTALL_LIBDIR)/mdb/*
 	cp $(DEBUGGER_SCRIPTS) $(INSTALL_LIBDIR)/mdb 
 
 #-----------------------------------------------------------------------------#

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------