common/bin/diffjarzip.sh

changeset 458
c8d320b48626
parent 445
efd26e051e50
equal deleted inserted replaced
455:633f2378c904 458:c8d320b48626
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##*.}"

mercurial