[m-rev.] diff: make `mmc --make' report about file removal

[Peter Wang]

Estimated hours taken: 0.1
Branches: main

compiler/make.util.m:
	Make `mmc --make' print a line for each file it is about to
	remove, if `--verbose-make' is set (the default).  This doesn't
	include temporary files made by `mmc --make' itself.

Index: make.util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make.util.m,v
retrieving revision 1.26
diff -u -r1.26 make.util.m
--- make.util.m	28 Nov 2005 04:11:45 -0000	1.26
+++ make.util.m	5 Dec 2005 02:31:36 -0000
@@ -697,6 +697,12 @@
     remove_file(FileName, !Info, !IO).
 
 remove_file(FileName, !Info, !IO) :-
+    verbose_msg(
+        (pred(di, uo) is det -->
+            io__write_string("Removing "),
+            io__write_string(FileName),
+            io__nl
+        ), !IO),
     io__remove_file(FileName, _, !IO),
     !:Info = !.Info ^ file_timestamps :=
         map__delete(!.Info ^ file_timestamps, FileName).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------