# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1200458003 0
# Node ID 4bd338a986f861d7790a4e844c12e3add6533460
# Parent  6d337d3f0404b494e88b65bbeae325ba8af9787b
Sven Joachim  <svenjoac at gmx.de>

Add --lzma.

diff -r 6d337d3f0404 -r 4bd338a986f8 make-dist
--- a/make-dist	Wed Jan 16 04:13:44 2008 +0000
+++ b/make-dist	Wed Jan 16 04:33:23 2008 +0000
@@ -85,6 +85,10 @@
     "--bzip2")
       default_gzip="bzip2"
     ;;
+    ## Same with lzma.
+    "--lzma")
+      default_gzip="lzma"
+    ;;
 
     "--snapshot")
       clean_up=yes
@@ -99,6 +103,7 @@
       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 @@
   case "${default_gzip}" in
     bzip2)      gzip_extension=.bz2 ;;
     compress* ) gzip_extension=.Z ;;
+    lzma)       gzip_extension=.lzma ;;
     * )         gzip_extension=.gz ;;
   esac
   echo "Creating tar file"