[m-rev.] diff: delete old mmake variable

[Julien Fischer]

Branches: main, 11.07

scripts/Mmake.vars.in:
 	Delete the long unused RM_C variable; the compiler hasn't
 	generated references to it since 2001.

Julien.

Index: scripts/Mmake.vars.in
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/scripts/Mmake.vars.in,v
retrieving revision 1.117
diff -u -r1.117 Mmake.vars.in
--- scripts/Mmake.vars.in	4 Oct 2011 02:37:57 -0000	1.117
+++ scripts/Mmake.vars.in	11 Oct 2011 12:41:59 -0000
@@ -389,12 +389,6 @@
  # shared libraries.
  EXT_FOR_SHARED_LIB	= @EXT_FOR_SHARED_LIB@

-# XXX RM_C is not used any more (it used to control whether
-# the intermediate C files were removed).
-# It may still be referred to by `.d' files generated before
-# support for RM_C was removed from the compiler.
-RM_C = :
-
  # lists of targets that depend on $(ALL_MLOBJS) and $(ALL_MLPICOBJS)
  MLOBJS_DEPS =
  MLPICOBJS_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
--------------------------------------------------------------------------