changeset 15060:0e3910449935

Replace --no-clean-up and --no-tar options with --clean-up and --tar, so that the default is useful.
author Richard M. Stallman <rms@gnu.org>
date Sun, 21 Apr 1996 06:54:52 +0000
parents 3b7454f2d662
children 85ee0c14c7dc
files make-dist
diffstat 1 files changed, 9 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/make-dist	Sun Apr 21 05:56:01 1996 +0000
+++ b/make-dist	Sun Apr 21 06:54:52 1996 +0000
@@ -32,23 +32,20 @@
 ### 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