[m-dev.] trivial diff: running tests on hydra

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> tools/test_mercury:
> tools/run_all_test_from_cron:
> 	Some minor changes to get things to work on hydra.cs.mu.oz.au.
> 
> cvs diff: Diffing .
> Index: run_all_tests_from_cron
> ===================================================================
> RCS file: /home/staff/zs/imp/mercury/tools/run_all_tests_from_cron,v
> retrieving revision 1.9
> diff -u -u -r1.9 run_all_tests_from_cron
> --- run_all_tests_from_cron	1998/05/24 07:32:10	1.9
> +++ run_all_tests_from_cron	1998/05/27 21:38:55
> @@ -37,6 +37,7 @@
>  
>  case $HOST in
>  	kryten) 	mail="rsh munta /bin/mail" ;;
> +	hydra)		mail=/usr/bin/main ;;

/usr/bin/main? /usr/bin/mail perhaps.

(/usr/bin/main sounds like a dwim command :-)

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+