[m-rev.] trivial diff: test_mercury: remove dependencies on /home/pgrad

[Peter Ross]

Simon wrote:
> On 13-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > Estimated hours taken: 0.1
> > 
> > tools/run_all_tests_from_cron:
> > tools/test_mercury:
> > Remove dependencies on /home/pgrad.
> 
> Estimated hours taken: 0.1
> 
> tools/run_all_tests_from_cron:
> tools/test_mercury:
> Fix a bug in my last change which caused the nightly tests
> to fail on murlibobo -- sh doesn't do tilde expansion, so
> hard-code the location of the .path file..
> 
You should be able to use $HOME instead.

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