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

[Simon Taylor]

On 15-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> 
> 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.

But then the results would depend on the user running the test.

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