From f22edcea3e047af5f8e708b97b7474537124bf0b Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Sun, 21 Apr 1996 06:54:52 +0000 Subject: [PATCH] Replace --no-clean-up and --no-tar options with --clean-up and --tar, so that the default is useful. --- make-dist | 21 +++++++++------------ 1 file 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 -- 2.39.2