comparison make-dist @ 91367:c70e45a7acfd

Merge from emacs--devo--0 Revision: emacs@sv.gnu.org/emacs--unicode--0--patch-324
author Miles Bader <miles@gnu.org>
date Wed, 30 Jan 2008 07:57:28 +0000
parents 606f2d163a64 01f002639254
children f38e85dfd4e3
comparison
equal deleted inserted replaced
91366:86f3a8f0a3a6 91367:c70e45a7acfd
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
94 ;; 98 ;;
95 99
96 "--help") 100 "--help")
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} \