[m-dev.] diff: fix bug with `.dv' files & --use-subdirs

[Fergus Henderson]

Estimated hours taken: 0.5

compiler/modules.m:
	Fix a bug in Warwick's previous change to add `.dv' files:
	ensure that the `.dv' files get put in the `Mercury/deps'
	subdirectory.

Workspace: /home/mercury0/public/test_mercury/test_dirs/murlibobo/mercury
Index: compiler/modules.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/modules.m,v
retrieving revision 1.104
diff -u -r1.104 modules.m
--- modules.m	1999/07/24 08:40:53	1.104
+++ modules.m	1999/07/26 04:47:50
@@ -596,6 +596,12 @@
 		->
 			string__append(ExtName, "s", SubDirName)
 		;
+			% `.dv' files go in the `deps' subdirectory,
+			% along with the `.dep' files
+			Ext = ".dv"
+		->
+			SubDirName = "deps"
+		;
 			% the usual case: `*.foo' files go in the `foos'
 			% subdirectory
 			string__append(".", ExtName, Ext)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------