| changeset 13132 | bd88bb8dd3af |
| parent 12801 | 948f8ad66ee7 |
| 13082:9b19b2302c28 | 13132:bd88bb8dd3af |
|---|---|
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##*.}" |