diff options
| author | Glenn Morris | 2008-01-16 04:33:32 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-01-16 04:33:32 +0000 |
| commit | ed398055862ab898d8dc3037a537af94ea69910b (patch) | |
| tree | 5f8b83a464407212ac0af5c870cfb04f62fe92b6 | |
| parent | 309c894f0a7bae1eb974d0c45552cb53e34c92d6 (diff) | |
| download | emacs-ed398055862ab898d8dc3037a537af94ea69910b.tar.gz emacs-ed398055862ab898d8dc3037a537af94ea69910b.zip | |
Sven Joachim <svenjoac at gmx.de>
Add --lzma.
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | make-dist | 6 |
2 files changed, 10 insertions, 0 deletions
| @@ -1,3 +1,7 @@ | |||
| 1 | 2008-01-16 Sven Joachim <svenjoac@gmx.de> | ||
| 2 | |||
| 3 | * make-dist: Add --lzma. | ||
| 4 | |||
| 1 | 2008-01-16 Glenn Morris <rgm@gnu.org> | 5 | 2008-01-16 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * Makefile.in (maybe_bootstrap): Remove texinfo message, since | 7 | * Makefile.in (maybe_bootstrap): Remove texinfo message, since |
| @@ -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 |
| @@ -99,6 +103,7 @@ while [ $# -gt 0 ]; do | |||
| 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" |