# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 732496367 0
# Node ID 9f90d3406b46500ff3a65e7a2b81dbf7afb72877
# Parent  fe5302520efd7566c26aed16533788f9d5e41569
Add a --compress option to force make-dist to use compress.

diff -r fe5302520efd -r 9f90d3406b46 make-dist
--- a/make-dist	Thu Mar 18 23:06:04 1993 +0000
+++ b/make-dist	Thu Mar 18 23:12:47 1993 +0000
@@ -40,6 +40,11 @@
       new_extension=".new"
       shift
     ;;
+    ## This option tells make-dist to use `compress' instead of gzip.
+    ## Normally, make-dist uses gzip whenever it is present.
+    "--compress")
+      default_gzip="compress"
+    ;;
     * )
       echo "${progname}: Unrecognized argument: $1" >&2
       exit 1
@@ -253,21 +258,23 @@
 fi
 
 if [ "${make_tar}" = yes ]; then
-  echo "Looking for gzip."
-  temppath=`echo $PATH | sed 's/^:/.:/
-			      s/::/:.:/g
-			      s/:$/:./
-			      s/:/ /g'`
-  default_compress=`(
-    for dir in ${temppath}; do
-      if [ -f ${dir}/gzip ]; then echo 'gzip --best'; exit 0; fi
-    done
-    echo compress
-  )`
+  if [ "${default_gzip}" = "" ]; then
+    echo "Looking for gzip."
+    temppath=`echo $PATH | sed 's/^:/.:/
+				s/::/:.:/g
+				s/:$/:./
+				s/:/ /g'`
+    default_gzip=`(
+      for dir in ${temppath}; do
+	if [ -f ${dir}/gzip ]; then echo 'gzip --best'; exit 0; fi
+      done
+      echo compress
+    )`
+  fi
   echo "Creating tar file."
   (cd ${tempparent}
    tar cvf - ${emacsname}) \
-   | ${default_compress} > ${emacsname}.tar.Z
+   | ${default_gzip} > ${emacsname}.tar.Z
   )
 fi