aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard M. Stallman1996-04-21 06:54:52 +0000
committerRichard M. Stallman1996-04-21 06:54:52 +0000
commitf22edcea3e047af5f8e708b97b7474537124bf0b (patch)
tree27522a206a14e2da598f4900922d60f002dab6fe
parent0e4358041c991f4f0aba27313793829f38a31dcd (diff)
downloademacs-f22edcea3e047af5f8e708b97b7474537124bf0b.tar.gz
emacs-f22edcea3e047af5f8e708b97b7474537124bf0b.zip
Replace --no-clean-up and --no-tar options
with --clean-up and --tar, so that the default is useful.
-rwxr-xr-xmake-dist21
1 files changed, 9 insertions, 12 deletions
diff --git a/make-dist b/make-dist
index b619168e0a4..d9662835903 100755
--- a/make-dist
+++ b/make-dist
@@ -32,23 +32,20 @@ progname="$0"
32### Print out each line we read, for debugging's sake. 32### Print out each line we read, for debugging's sake.
33### set -v 33### set -v
34 34
35clean_up=yes 35clean_up=no
36make_tar=yes 36make_tar=no
37newer="" 37newer=""
38 38
39while [ $# -gt 0 ]; do 39while [ $# -gt 0 ]; do
40 case "$1" in 40 case "$1" in
41 ## This option tells make-dist not to delete the staging directory 41 ## This option tells make-dist to delete the staging directory
42 ## after it's done making the tar file. 42 ## when done. It is useless to use this unless you make a tar file.
43 "--no-clean-up" ) 43 "--clean-up" )
44 clean_up=no 44 clean_up=yes
45 ;; 45 ;;
46 ## This option tells make-dist not to make a tar file. Since it's 46 ## This option tells make-dist to make a tar file.
47 ## rather pointless to build the whole staging directory and then 47 "--tar" )
48 ## nuke it, using this option also selects '--no-clean-up'. 48 make_tar=yes
49 "--no-tar" )
50 make_tar=no
51 clean_up=no
52 ;; 49 ;;
53 ## This option tells make-dist to make the distribution normally, then 50 ## This option tells make-dist to make the distribution normally, then
54 ## remove all files older than the given timestamp file. This is useful 51 ## remove all files older than the given timestamp file. This is useful