diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rwxr-xr-x | make-dist | 6 |
2 files changed, 10 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 7e049f376d1..17f0c98a91c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-01-16 Sven Joachim <svenjoac@gmx.de> + + * make-dist: Add --lzma. + 2008-01-16 Glenn Morris <rgm@gnu.org> * Makefile.in (maybe_bootstrap): Remove texinfo message, since diff --git a/make-dist b/make-dist index 26fb5b31daf..305112ed153 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 @@ -99,6 +103,7 @@ while [ $# -gt 0 ]; do 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" |