diff options
author | Richard M. Stallman <rms@gnu.org> | 1996-04-21 06:54:52 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1996-04-21 06:54:52 +0000 |
commit | baa204f0ca520922c9e48a1e9549c7c2afd3560d (patch) | |
tree | 71d6d71003cc36b047eda807ee7020bd154073e7 /make-dist | |
parent | 4db615afa14cbfcdf93824c2a99a020c7d6d38fb (diff) | |
download | emacs-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-x | make-dist | 21 |
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 |