diff options
| author | Miles Bader | 2008-01-30 07:57:28 +0000 |
|---|---|---|
| committer | Miles Bader | 2008-01-30 07:57:28 +0000 |
| commit | d235ca2ff8fab139ce797757fcb159d1e28fa7e0 (patch) | |
| tree | 96c5cd1a06a0d9dc26e8470c6eabfc032c0046f3 /make-dist | |
| parent | 3709a060f679dba14df71ae64a0035fa2b5b3106 (diff) | |
| parent | 02cbe062bee38a6705bafb1699d77e3c44cfafcf (diff) | |
| download | emacs-d235ca2ff8fab139ce797757fcb159d1e28fa7e0.tar.gz emacs-d235ca2ff8fab139ce797757fcb159d1e28fa7e0.zip | |
Merge from emacs--devo--0
Revision: emacs@sv.gnu.org/emacs--unicode--0--patch-324
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 8 |
1 files changed, 7 insertions, 1 deletions
| @@ -85,6 +85,10 @@ while [ $# -gt 0 ]; do | |||
| 85 | "--bzip2") | 85 | "--bzip2") |
| 86 | default_gzip="bzip2" | 86 | default_gzip="bzip2" |
| 87 | ;; | 87 | ;; |
| 88 | ## Same with lzma. | ||
| 89 | "--lzma") | ||
| 90 | default_gzip="lzma" | ||
| 91 | ;; | ||
| 88 | 92 | ||
| 89 | "--snapshot") | 93 | "--snapshot") |
| 90 | clean_up=yes | 94 | clean_up=yes |
| @@ -96,9 +100,10 @@ while [ $# -gt 0 ]; do | |||
| 96 | "--help") | 100 | "--help") |
| 97 | echo "Usage: ${progname} [options]" | 101 | echo "Usage: ${progname} [options]" |
| 98 | echo "" | 102 | echo "" |
| 99 | echo " --bzip2 use bzip2 instead of gzip" | 103 | echo " --bzip2 use bzip2 instead of gzip" |
| 100 | echo " --clean-up delete staging directories when done" | 104 | echo " --clean-up delete staging directories when done" |
| 101 | echo " --compress use compress instead of gzip" | 105 | echo " --compress use compress instead of gzip" |
| 106 | echo " --lzma use lzma instead of gzip" | ||
| 102 | echo " --newer=TIME don't include files older than TIME" | 107 | echo " --newer=TIME don't include files older than TIME" |
| 103 | echo " --no-check don't check for bad file names etc." | 108 | echo " --no-check don't check for bad file names etc." |
| 104 | echo " --no-update don't recompile or do analogous things" | 109 | echo " --no-update don't recompile or do analogous things" |
| @@ -750,6 +755,7 @@ if [ "${make_tar}" = yes ]; then | |||
| 750 | case "${default_gzip}" in | 755 | case "${default_gzip}" in |
| 751 | bzip2) gzip_extension=.bz2 ;; | 756 | bzip2) gzip_extension=.bz2 ;; |
| 752 | compress* ) gzip_extension=.Z ;; | 757 | compress* ) gzip_extension=.Z ;; |
| 758 | lzma) gzip_extension=.lzma ;; | ||
| 753 | * ) gzip_extension=.gz ;; | 759 | * ) gzip_extension=.gz ;; |
| 754 | esac | 760 | esac |
| 755 | echo "Creating tar file" | 761 | echo "Creating tar file" |