summaryrefslogtreecommitdiff
path: root/make-dist
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>2008-01-30 07:57:28 +0000
committerMiles Bader <miles@gnu.org>2008-01-30 07:57:28 +0000
commitaa5a53c439ce72db473dab20e1cd5e436ecf5916 (patch)
tree7703788c76955b1e6d98272b036273d9c1202a87 /make-dist
parent903577cfbe4e0eafa1213bcafffa8a8a7ad1c9c0 (diff)
parent2cee2e3f604dbd71dca1838fdb0469a57868dca8 (diff)
downloademacs-aa5a53c439ce72db473dab20e1cd5e436ecf5916.tar.gz
Merge from emacs--devo--0
Revision: emacs@sv.gnu.org/emacs--unicode--0--patch-324
Diffstat (limited to 'make-dist')
-rwxr-xr-xmake-dist8
1 files changed, 7 insertions, 1 deletions
diff --git a/make-dist b/make-dist
index 9ab0388275f..0f632f24d89 100755
--- a/make-dist
+++ b/make-dist
@@ -85,6 +85,10 @@ while [ $# -gt 0 ]; do
"--bzip2")
default_gzip="bzip2"
;;
+ ## Same with lzma.
+ "--lzma")
+ default_gzip="lzma"
+ ;;
"--snapshot")
clean_up=yes
@@ -96,9 +100,10 @@ while [ $# -gt 0 ]; do
"--help")
echo "Usage: ${progname} [options]"
echo ""
- echo " --bzip2 use bzip2 instead of gzip"
+ echo " --bzip2 use bzip2 instead of gzip"
echo " --clean-up delete staging directories when done"
echo " --compress use compress instead of gzip"
+ echo " --lzma use lzma instead of gzip"
echo " --newer=TIME don't include files older than TIME"
echo " --no-check don't check for bad file names etc."
echo " --no-update don't recompile or do analogous things"
@@ -750,6 +755,7 @@ if [ "${make_tar}" = yes ]; then
case "${default_gzip}" in
bzip2) gzip_extension=.bz2 ;;
compress* ) gzip_extension=.Z ;;
+ lzma) gzip_extension=.lzma ;;
* ) gzip_extension=.gz ;;
esac
echo "Creating tar file"