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

[David Glen JEFFERY]

I'm going to get this thing working one day, I swear...

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

Estimated hours taken: 0.25

tools/test_mercury:
	Add `pwd` to PATH _before_ changing directory.

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

Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.112
diff -u -t -r1.112 test_mercury
--- test_mercury	2000/07/04 06:21:02	1.112
+++ test_mercury	2000/07/05 03:09:55
@@ -26,6 +26,8 @@
 PATH="/home/mercury/public/sicstus3/$HOST:$PATH"
 PATH="/home/mercury/public/$FULLARCH:$PATH"
 PATH="/home/mercury/public/$HOST:$PATH"
+# generate_index_html needs to be in our PATH too
+PATH="`pwd`:$PATH"
 export PATH
 
 CVSROOT=/home/staff/zs/imp
@@ -653,8 +655,6 @@
 # Now rebuild the index files on the www site
 echo "test_mercury generating index files on www site, starting at `date`" 1>&2
 (
-PATH="`pwd`:$PATH"
-export PATH
 cd $BETA_WEBDIR_TOP
 generate_index_html
 )

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