common/bin/diffjarzip.sh
changeset 13132 bd88bb8dd3af
parent 12801 948f8ad66ee7
--- a/common/bin/diffjarzip.sh	Wed Jul 05 18:14:56 2017 +0200
+++ b/common/bin/diffjarzip.sh	Tue Jul 03 16:11:12 2012 -0700
@@ -72,7 +72,11 @@
 fi
 
 if [ "`uname`" == "SunOS" ]; then
-    DIFF=gdiff
+    if [ -f "`which gdiff`" ]; then
+        DIFF=gdiff
+    else
+        DIFF=diff
+    fi
 else
     DIFF=diff
 fi