[m-dev.] trivial diff: mkinit.c: delete some obsolete code

[Fergus Henderson]

Estimated hours taken: 0.1

util/mkinit.c:
	Delete some obsolete old code.

Workspace: /home/mercury0/fjh/mercury
Index: util/mkinit.c
===================================================================
RCS file: /home/mercury1/repository/mercury/util/mkinit.c,v
retrieving revision 1.51
diff -u -r1.51 mkinit.c
--- mkinit.c	1999/05/28 05:29:51	1.51
+++ mkinit.c	1999/06/20 06:35:32
@@ -433,14 +433,6 @@
 process_file(const char *filename)
 {
 	int len = strlen(filename);
-	/*
-	** XXX the following three lines are needed only for bootstrapping;
-	** they should be deleted once the new compiler has been installed
-	** everywhere.
-	*/
-	if (len >= 2 && strcmp(filename + len - 2, ".m") == 0) {
-		process_c_file(filename);
-	} else
 	if (len >= 2 && strcmp(filename + len - 2, ".c") == 0) {
 		if (c_files_contain_extra_inits) {
 			process_init_file(filename);

-- 
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
--------------------------------------------------------------------------