Mercurial > emacs
comparison make-dist @ 87782:4bd338a986f8
Sven Joachim <svenjoac at gmx.de>
Add --lzma.
author | Glenn Morris <rgm@gnu.org> |
---|---|
date | Wed, 16 Jan 2008 04:33:23 +0000 |
parents | 3d7ab5b38c54 |
children | 01f002639254 |
comparison
equal
deleted
inserted
replaced
87781:6d337d3f0404 | 87782:4bd338a986f8 |
---|---|
83 ;; | 83 ;; |
84 ## Same with bzip2. | 84 ## Same with bzip2. |
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 |
91 make_tar=yes | 95 make_tar=yes |
92 update=no | 96 update=no |
97 echo "Usage: ${progname} [options]" | 101 echo "Usage: ${progname} [options]" |
98 echo "" | 102 echo "" |
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" |
105 echo " --snapshot same as --clean-up --no-update --tar --no-check" | 110 echo " --snapshot same as --clean-up --no-update --tar --no-check" |
106 echo " --tar make a tar file" | 111 echo " --tar make a tar file" |
748 )` | 753 )` |
749 fi | 754 fi |
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" |
756 (cd ${tempparent} ; tar cvf - ${emacsname} ) \ | 762 (cd ${tempparent} ; tar cvf - ${emacsname} ) \ |
757 | ${default_gzip} \ | 763 | ${default_gzip} \ |