[m-rev.] trivial diff: fix library installation failure

[Simon Taylor]

Estimated hours taken: 0.2
Branches: main

scripts/Mmake.rules:
	Fix errors caused by attempting to move nonexistent files
	when installing libraries.

Index: Mmake.rules
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.131
diff -u -u -r1.131 Mmake.rules
--- Mmake.rules	22 Aug 2002 02:34:20 -0000	1.131
+++ Mmake.rules	24 Aug 2002 11:52:51 -0000
@@ -489,6 +489,7 @@
 	for file in x $$grade_files; do \
 		if [ "$$file" != "x" ]; then \
 			mv -f $$file tmp_dir > /dev/null 2>&1; \
+			true; \
 		fi; \
 	done && \
 	{ mv -f $(deps_subdir)$*.dep $(deps_subdir)$*.dv \
@@ -511,6 +512,7 @@
 	for file in x $$grade_files; do \
 		if [ "$$file" != "x" ]; then \
 		    mv -f tmp_dir/`basename $$file` $$file > /dev/null 2>&1; \
+		    true; \
 		fi; \
 	done && \
 	{ mv -f tmp_dir/*.dep tmp_dir/*.dv $(deps_subdir).; \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------