[m-rev.] diff: fix bug in C file timestamp change

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

scripts/Mmake.rules:
	Fix a bug in my last change - add .PRECIOUS rules for
	the new date stamp files to stop make removing them.

Index: Mmake.rules
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/Mmake.rules,v
retrieving revision 1.98
diff -u -u -r1.98 Mmake.rules
--- Mmake.rules	2001/07/06 11:25:35	1.98
+++ Mmake.rules	2001/07/07 05:45:21
@@ -47,6 +47,10 @@
 .PRECIOUS: $(date3s_subdir)%.date3
 .PRECIOUS: $(optdates_subdir)%.optdate
 .PRECIOUS: $(trans_opt_dates_subdir)%.trans_opt_date
+.PRECIOUS: $(c_dates_subdir)%.c_date
+.PRECIOUS: $(il_dates_subdir)%.il_date
+.PRECIOUS: $(s_dates_subdir)%.s_date
+.PRECIOUS: $(pic_s_dates_subdir)%.pic_s_date
 
 #-----------------------------------------------------------------------------#
 #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------