[m-dev.] trivial diff: fix PATH in test_mercury

[David Glen JEFFERY]

On 05-Jul-2000, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> I'm going to get this thing working one day, I swear...

Seriously, soon.

I'll just commit this if there's no objections.

===================================================================

Estimated hours taken: 0.25

tools/test_mercury:
	Only rebuild the index files on the www site when running on
	murlibobo --- that is the only machine that changes the
	contents of the www site.

===================================================================
Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.113
diff -u -t -r1.113 test_mercury
--- test_mercury	2000/07/05 04:19:48	1.113
+++ test_mercury	2000/07/05 04:52:55
@@ -653,12 +653,18 @@
 esac
 
 # Now rebuild the index files on the www site
-echo "test_mercury generating index files on www site, starting at `date`" 1>&2
-(
-cd $BETA_WEBDIR_TOP
-generate_index_html
-)
-echo "test_mercury generating index files on www site, finished at `date`" 1>&2
+case $HOST in 
+    murlibobo)
+        echo "test_mercury generating www index files, starting at `date`" 1>&2
+        (
+        cd $BETA_WEBDIR_TOP
+        generate_index_html
+        )
+        echo "test_mercury generating www index files, finished at `date`" 1>&2
+        ;;
+    *)
+        ;;
+esac
 
 : check for success
 



dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------