[m-rev.] trivial diff: more scripts dir updates

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

scripts/Mmake.rules:
scripts/Mmake.vars.in:
 	Conform to the removal of mercury_cleanup_install.

Julien.

Index: Mmake.rules
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.154
diff -u -r1.154 Mmake.rules
--- Mmake.rules	14 Jul 2007 02:33:23 -0000	1.154
+++ Mmake.rules	26 Feb 2008 15:18:02 -0000
@@ -454,7 +454,7 @@

  .PHONY: lib%.install
  lib%.install: lib%.install_ints lib%.install_hdrs lib%.install_library
-	$(MMAKE) lib$*.install_grades || { mercury_cleanup_install && exit 1; }
+	$(MMAKE) lib$*.install_grades

  .PHONY: lib%.install_grade_init
  lib%.install_grade_init: %.init install_grade_dirs
Index: Mmake.vars.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/Mmake.vars.in,v
retrieving revision 1.109
diff -u -r1.109 Mmake.vars.in
--- Mmake.vars.in	20 Feb 2008 03:09:59 -0000	1.109
+++ Mmake.vars.in	26 Feb 2008 15:18:02 -0000
@@ -559,9 +559,6 @@

  ifeq ($(MMAKE_USE_SUBDIRS),yes)

-# If you change any of these, you may need to update
-# `mercury_cleanup_install'.
-
  SUBDIR=Mercury/

  deps_subdir=$(SUBDIR)deps/

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------