[m-rev.] trivial diff: fix `mmc --make' EXTRA_* variable handling

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/options_file.m:
	Fix handling of EXTRA_* variables.

Index: options_file.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options_file.m,v
retrieving revision 1.6
diff -u -u -r1.6 options_file.m
--- options_file.m	6 May 2002 14:37:02 -0000	1.6
+++ options_file.m	21 May 2002 17:25:26 -0000
@@ -872,7 +872,7 @@
 		{ ExtraFlagsResult = yes([]) }
 	;
 		lookup_variable_words_report_error(Vars, VarName, FlagsResult),
-		lookup_variable_words_report_error(Vars, VarName,
+		lookup_variable_words_report_error(Vars, "EXTRA_" ++ VarName,
 			ExtraFlagsResult)
 	),
 	(
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------