Sven Joachim <svenjoac at gmx.de>

Add --lzma.

diff --git a/ChangeLog b/ChangeLog
index 7e049f376d147c2aaa6d2b6729062348dca122cb..17f0c98a91c0f7fe7d240b701c49b9dbd9d617f4 100644 (file)
--- 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 26fb5b31dafc70fcee28f6cca8ba37400a63e856..305112ed153eb0d9283792e694498380461c2fdc 100755 (executable)
--- 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"