diff: mercury_update_interface messages

[Fergus Henderson]

scripts/mercury_update_interface.in:
	If interface file has changed, print out a message, even
	if `-v' (verbose) was not specified.  Rationale: this is
	useful information, and printing it out makes it easier to
	understand why Mmake decides to remake things.

Index: mercury_update_interface.in
===================================================================
RCS file: /home/staff/zs/imp/mercury/scripts/mercury_update_interface.in,v
retrieving revision 1.4
diff -u -r1.4 mercury_update_interface.in
--- mercury_update_interface.in	1997/03/18 16:03:42	1.4
+++ mercury_update_interface.in	1997/04/14 04:31:36
@@ -45,7 +45,7 @@
 	$verbose && echo "\`$filename' has not changed." 1>&2
 	rm -f "$filename.tmp"
 else
-	$verbose && echo "\`$filename' has changed." 1>&2
+	echo "\`$filename' has CHANGED." 1>&2
 	mv -f "$filename.tmp" "$filename"
 	# Work-around for a parallel gmake problem
 	exit 0

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