diff options
Diffstat (limited to 'readline/support/mkdist')
| -rwxr-xr-x | readline/support/mkdist | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/readline/support/mkdist b/readline/support/mkdist index 282431d4ad3..ff38764343f 100755 --- a/readline/support/mkdist +++ b/readline/support/mkdist @@ -2,7 +2,7 @@ # # mkdist - make a distribution directory from a master manifest file # -# usage: mkdist [-m manifest] [-s srcdir] [-r rootname] [-t] [-v] version +# usage: mkdist [-m manifest] [-s srcdir] [-r rootname] [-v] version # # SRCDIR defaults to src # MANIFEST defaults to $SRCDIR/MANIFEST @@ -31,7 +31,7 @@ ROOTNAME=bash usage() { - echo usage: mkdist [-m manifest] [-s srcdir] [-r rootname] [-t] [-v] version 1>&2 + echo usage: mkdist [-m manifest] [-s srcdir] [-r rootname] [-v] version 1>&2 exit 2 } @@ -42,13 +42,12 @@ vmsg() fi } -while getopts m:s:r:tv name +while getopts m:s:r:v name do case $name in m) MANIFEST=$OPTARG ;; s) SRCDIR=$OPTARG ;; r) ROOTNAME=$OPTARG ;; - t) maketar=yes ;; v) verbose=yes ;; ?) usage ;; esac @@ -67,8 +66,6 @@ fi version=$1 newdir=${ROOTNAME}-$version -tarfile=${newdir}.tar - vmsg creating distribution for $ROOTNAME version $version in $newdir if [ ! -d $newdir ]; then @@ -120,10 +117,4 @@ done < $MANIFEST vmsg $newdir created -if [ -n "$maketar" ]; then - tar cf ${tarfile} $newdir - gzip $tarfile - vmsg ${tarfile}.gz created -fi - exit 0 |