comparison make-dist @ 87594:3d7ab5b38c54

Add --bzip2. Update copyright.
author Romain Francoise <romain@orebokech.com>
date Sat, 05 Jan 2008 13:26:33 +0000
parents 4424409d4223
children 4bd338a986f8 606f2d163a64
comparison
equal deleted inserted replaced
87593:45568b22f6e5 87594:3d7ab5b38c54
5 #### structure, and then hard links into it only those files that should 5 #### structure, and then hard links into it only those files that should
6 #### be distributed. This means that if you add a file with an odd name, 6 #### be distributed. This means that if you add a file with an odd name,
7 #### you should make sure that this script will include it. 7 #### you should make sure that this script will include it.
8 8
9 # Copyright (C) 1995, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2005, 9 # Copyright (C) 1995, 1997, 1998, 2000, 2001, 2002, 2003, 2004, 2005,
10 # 2006, 2007 Free Software Foundation, Inc. 10 # 2006, 2007, 2008 Free Software Foundation, Inc.
11 # 11 #
12 # This file is part of GNU Emacs. 12 # This file is part of GNU Emacs.
13 # 13 #
14 # GNU Emacs is free software; you can redistribute it and/or modify 14 # GNU Emacs is free software; you can redistribute it and/or modify
15 # it under the terms of the GNU General Public License as published by 15 # it under the terms of the GNU General Public License as published by
79 ## This option tells make-dist to use `compress' instead of gzip. 79 ## This option tells make-dist to use `compress' instead of gzip.
80 ## Normally, make-dist uses gzip whenever it is present. 80 ## Normally, make-dist uses gzip whenever it is present.
81 "--compress") 81 "--compress")
82 default_gzip="compress" 82 default_gzip="compress"
83 ;; 83 ;;
84 ## Same with bzip2.
85 "--bzip2")
86 default_gzip="bzip2"
87 ;;
84 88
85 "--snapshot") 89 "--snapshot")
86 clean_up=yes 90 clean_up=yes
87 make_tar=yes 91 make_tar=yes
88 update=no 92 update=no
90 ;; 94 ;;
91 95
92 "--help") 96 "--help")
93 echo "Usage: ${progname} [options]" 97 echo "Usage: ${progname} [options]"
94 echo "" 98 echo ""
99 echo " --bzip2 use bzip2 instead of gzip"
95 echo " --clean-up delete staging directories when done" 100 echo " --clean-up delete staging directories when done"
96 echo " --compress use compress instead of gzip" 101 echo " --compress use compress instead of gzip"
97 echo " --newer=TIME don't include files older than TIME" 102 echo " --newer=TIME don't include files older than TIME"
98 echo " --no-check don't check for bad file names etc." 103 echo " --no-check don't check for bad file names etc."
99 echo " --no-update don't recompile or do analogous things" 104 echo " --no-update don't recompile or do analogous things"
741 done 746 done
742 echo compress 747 echo compress
743 )` 748 )`
744 fi 749 fi
745 case "${default_gzip}" in 750 case "${default_gzip}" in
751 bzip2) gzip_extension=.bz2 ;;
746 compress* ) gzip_extension=.Z ;; 752 compress* ) gzip_extension=.Z ;;
747 * ) gzip_extension=.gz ;; 753 * ) gzip_extension=.gz ;;
748 esac 754 esac
749 echo "Creating tar file" 755 echo "Creating tar file"
750 (cd ${tempparent} ; tar cvf - ${emacsname} ) \ 756 (cd ${tempparent} ; tar cvf - ${emacsname} ) \