[m-rev.] trivial diff: test_mercury: work around hydra mail problem

[Simon Taylor]

Estimated hours taken: 0.25

tools/run_all_tests_from_cron:
	For some reason hydra doesn't handle .forward files,
	so mail to stayl at cs.mu.oz.au rather than stayl.

Index: run_all_tests_from_cron
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/run_all_tests_from_cron,v
retrieving revision 1.43
diff -u -u -r1.43 run_all_tests_from_cron
--- run_all_tests_from_cron	7 Nov 2001 06:21:27 -0000	1.43
+++ run_all_tests_from_cron	7 Nov 2001 17:04:04 -0000
@@ -185,7 +185,7 @@
 
 # NB we can't just pipe into `mutt' because the $mail_subject file
 # needs to be written before `mutt' is started.
-mutt -s "`cat $mail_subject`" stayl < $tmpfile
+mutt -s "`cat $mail_subject`" stayl at cs.mu.oz.au < $tmpfile
 rm -f $tmpfile $tmpscript $mail_subject
 
 #-----------------------------------------------------------------------------#
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------