[m-rev.] install ROTD versions of the mercury-gcc distribution

[Peter Moulder]

On Mon, Sep 30, 2002 at 11:02:25PM +1000, Fergus Henderson wrote:

> +	if [ -d gcc/. && -d mercury-gcc/. ]; then
[...]
> +	if [ -d gcc/. && -d mercury-gcc/. ]; then

FWIW, the above construct is not portable.  (E.g. I've just tried it in
SunOS 5.8 /bin/sh, where it doesn't work.)  I don't know if portability
is important for this script, but it wouldn't hurt to change it to
separate test invocations, i.e.

  if [ -d gcc/. ] && [ -d ... ]; then

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