summaryrefslogtreecommitdiff
path: root/make-dist
diff options
context:
space:
mode:
authorRichard M. Stallman <rms@gnu.org>1996-04-21 06:54:52 +0000
committerRichard M. Stallman <rms@gnu.org>1996-04-21 06:54:52 +0000
commitbaa204f0ca520922c9e48a1e9549c7c2afd3560d (patch)
tree71d6d71003cc36b047eda807ee7020bd154073e7 /make-dist
parent4db615afa14cbfcdf93824c2a99a020c7d6d38fb (diff)
downloademacs-baa204f0ca520922c9e48a1e9549c7c2afd3560d.tar.gz
Replace --no-clean-up and --no-tar options
with --clean-up and --tar, so that the default is useful.
Diffstat (limited to 'make-dist')
-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"
### Print out each line we read, for debugging's sake.
### set -v
-clean_up=yes
-make_tar=yes
+clean_up=no
+make_tar=no
newer=""
while [ $# -gt 0 ]; do
case "$1" in
- ## This option tells make-dist not to delete the staging directory
- ## after it's done making the tar file.
- "--no-clean-up" )
- clean_up=no
+ ## This option tells make-dist to delete the staging directory
+ ## when done. It is useless to use this unless you make a tar file.
+ "--clean-up" )
+ clean_up=yes
;;
- ## This option tells make-dist not to make a tar file. Since it's
- ## rather pointless to build the whole staging directory and then
- ## nuke it, using this option also selects '--no-clean-up'.
- "--no-tar" )
- make_tar=no
- clean_up=no
+ ## This option tells make-dist to make a tar file.
+ "--tar" )
+ make_tar=yes
;;
## This option tells make-dist to make the distribution normally, then
## remove all files older than the given timestamp file. This is useful