[m-rev.] trivial diff: don't set obsolete environment variable

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

scripts/Mercury.config.in:
	Don't set the obsolete variable MERCURY_ALL_MC_C_INCL_DIRS.

Index: Mercury.config.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mercury.config.in,v
retrieving revision 1.2
diff -u -u -r1.2 Mercury.config.in
--- Mercury.config.in	13 Apr 2003 05:48:35 -0000	1.2
+++ Mercury.config.in	15 Apr 2003 08:20:04 -0000
@@ -17,7 +17,6 @@
 MERCURY_STDLIB_DIR=@LIBDIR@
 MERCURY_DEFAULT_OPT_LEVEL=-O2
 MERCURY_DEFAULT_GRADE=@DEFAULT_GRADE@
-MERCURY_ALL_MC_C_INCL_DIRS=
 MERCURY_C_COMPILER="@CC@"
 MERCURY_MATH_LIB="@MATH_LIB@"
 # $(MATH_LIB) needs to be defined because it may
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------