Adding --bzip2 to make-dist

[Angelo Graziosi]

It would be interesting to have the source tar-ball compressed with bzip2.

Why not to add the option --bzip2, beside --compress, to make-dist?

For example:


--- make-dist.orig      2007-07-26 07:26:01.000000000 +0200
+++ make-dist   2007-08-17 01:05:17.563088000 +0200
@@ -81,6 +81,11 @@
     "--compress")
       default_gzip="compress"
     ;;
+    ## This option tells make-dist to use bzip2' instead of gzip.
+    ## Normally, make-dist uses gzip whenever it is present.
+    "--bzip2")
+      default_gzip="bzip2"
+    ;;

     "--snapshot")
       clean_up=yes
@@ -94,6 +99,7 @@
       echo ""
       echo "  --clean-up       delete staging directories when done"
       echo "  --compress       use compress instead of gzip"
+      echo "  --bzip2           use bzip2 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"
@@ -720,6 +726,7 @@
   fi
   case "${default_gzip}" in
     compress* ) gzip_extension=.Z ;;
+    bzip2* ) gzip_extension=.bz2 ;;
     * )         gzip_extension=.gz ;;
   esac
   echo "Creating tar file"



Regards,

   Angelo.