[m-rev.] trivial diff: fix creation of `.init' file with `mmc --make'

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/modules.m:
	The `module.init.tmp' file needs to be in the
	same directory as the `module.init' file for
	mercury_update_interface to work.

Index: modules.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/modules.m,v
retrieving revision 1.231
diff -u -u -r1.231 modules.m
--- modules.m	16 May 2002 07:47:24 -0000	1.231
+++ modules.m	21 May 2002 18:51:46 -0000
@@ -843,8 +843,9 @@
 			; Ext = ".trans_opts"
 			% The current interface to `mercury_update_interface'
 			% requires .h.tmp files to be in the same directory as
-			% the .h files
+			% the .h files. Same for .init.tmp files.
 			; Ext = ".h.tmp"
+			; Ext = ".init.tmp"
 			% The following files are only used by the Aditi
 			% query shell which doesn't know about --use-subdirs.
 			; Ext = ".base_schema"
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------