comparison make-dist @ 2253:fe5302520efd

* make-dist: Use gzip, if we can find it.

2252:9793d8654e23

  ## them with.
  find ${tempparent} \( -name '*.elc' -o ! -newer ${newer} \) -exec rm -f {} \;
fi

if [ "${make_tar}" = yes ]; then
  echo "Creating tar file."
  (cd ${tempparent}; tar cvf - ${emacsname}) | compress > ${emacsname}.tar.Z
fi

if [ "${clean_up}" = yes ]; then
  echo "Cleaning up the staging directory."
  rm -rf ${tempparent}

2253:fe5302520efd

  ## them with.
  find ${tempparent} \( -name '*.elc' -o ! -newer ${newer} \) -exec rm -f {} \;
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
  )`
  echo "Creating tar file."
  (cd ${tempparent}
   tar cvf - ${emacsname}) \
   | ${default_compress} > ${emacsname}.tar.Z
  )
fi

if [ "${clean_up}" = yes ]; then
  echo "Cleaning up the staging directory."
  rm -rf ${tempparent}