common/bin/diffjarzip.sh
changeset 13305 c6204b2b4209
parent 13132 bd88bb8dd3af
equal deleted inserted replaced
13304:f97566d01de4 13305:c6204b2b4209
    70     NEW_NAME=$NEW
    70     NEW_NAME=$NEW
    71     if [ $# == 3 ]; then IGNORES="$3"; fi
    71     if [ $# == 3 ]; then IGNORES="$3"; fi
    72 fi
    72 fi
    73 
    73 
    74 if [ "`uname`" == "SunOS" ]; then
    74 if [ "`uname`" == "SunOS" ]; then
    75     DIFF=gdiff
    75     if [ -f "`which gdiff`" ]; then
       
    76         DIFF=gdiff
       
    77     else
       
    78         DIFF=diff
       
    79     fi
    76 else
    80 else
    77     DIFF=diff
    81     DIFF=diff
    78 fi
    82 fi
    79 
    83 
    80 OLD_SUFFIX="${OLD##*.}"
    84 OLD_SUFFIX="${OLD##*.}"