diff options
| author | Richard M. Stallman | 1996-04-21 06:54:52 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1996-04-21 06:54:52 +0000 |
| commit | f22edcea3e047af5f8e708b97b7474537124bf0b (patch) | |
| tree | 27522a206a14e2da598f4900922d60f002dab6fe | |
| parent | 0e4358041c991f4f0aba27313793829f38a31dcd (diff) | |
| download | emacs-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-x | make-dist | 21 |
1 files changed, 9 insertions, 12 deletions
| @@ -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 | ||
| 35 | clean_up=yes | 35 | clean_up=no |
| 36 | make_tar=yes | 36 | make_tar=no |
| 37 | newer="" | 37 | newer="" |
| 38 | 38 | ||
| 39 | while [ $# -gt 0 ]; do | 39 | while [ $# -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 |