common/bin/diffjarzip.sh

changeset 458
c8d320b48626
parent 445
efd26e051e50
     1.1 --- a/common/bin/diffjarzip.sh	Mon Jun 25 21:37:09 2012 -0700
     1.2 +++ b/common/bin/diffjarzip.sh	Tue Jul 03 16:11:12 2012 -0700
     1.3 @@ -72,7 +72,11 @@
     1.4  fi
     1.5  
     1.6  if [ "`uname`" == "SunOS" ]; then
     1.7 -    DIFF=gdiff
     1.8 +    if [ -f "`which gdiff`" ]; then
     1.9 +        DIFF=gdiff
    1.10 +    else
    1.11 +        DIFF=diff
    1.12 +    fi
    1.13  else
    1.14      DIFF=diff
    1.15  fi

mercurial