diff: fix for "mmake can still delete user .c files"

[Fergus Henderson]

On 20-Jan-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> If you have a normal C file, say foo.c, and say "mmake foo.pic_o",
> mmake will try to delete the .c file. 

Fix a bug that caused Mmake to delete user .c files.

scripts/Mmake.rules:
	Delete the call to $(RM_C) in the rule for `.o.pic_o', since
	that does nasty things in the case that the .c file is the
	user's source code, not an intermediate file produced by
	the Mercury compiler.

cvs diff  scripts/Mmake.rules
Index: scripts/Mmake.rules
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.47
diff -u -r1.47 Mmake.rules
--- Mmake.rules	1998/01/14 02:21:45	1.47
+++ Mmake.rules	1998/01/25 15:30:36
@@ -133,7 +133,6 @@
 .o.pic_o:
 	$(MMAKE_MAKE_CMD) $(MAKEOVERRIDES) $*.c
 	$(MGNUC) $(GRADEFLAGS) $(MGNUCFLAGS) $(CFLAGS_FOR_PIC) -c $*.c -o $@
-	$(RM_C) $*.c
 
 %.dir/*.o: %.m
 	rm -f $@
-- 
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.