diff options
| author | Fred Drake <fdrake@acm.org> | 2004-06-17 22:04:17 (GMT) |
|---|---|---|
| committer | Fred Drake <fdrake@acm.org> | 2004-06-17 22:04:17 (GMT) |
| commit | 964c798a94a77eda6cc61f7530d71b8c32f25a3e (patch) | |
| tree | c577be30f17764e694abe8728bcad1f3a9553034 /Doc/tools | |
| parent | 3706855d118cd8f7b1bd0748ee79411f01710eff (diff) | |
| download | cpython-964c798a94a77eda6cc61f7530d71b8c32f25a3e.zip cpython-964c798a94a77eda6cc61f7530d71b8c32f25a3e.tar.gz cpython-964c798a94a77eda6cc61f7530d71b8c32f25a3e.tar.bz2 | |
Use getopt where possible, so this supports option letters that get
jammed together on thos platforms.
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/push-docs.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index 294254a..c124f8b 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -29,7 +29,16 @@ fi EXPLANATION='' ANNOUNCE=true -# XXX Should use getopt(1) here. +getopt -T >/dev/null +if [ $? -eq 4 ] ; then + # We have a sufficiently useful getopt(1) implementation. + set -- `getopt -ssh m:p:qt:F: "$@"` +else + # This version of getopt doesn't support quoting of long options + # with spaces, so let's not rely on it at all. + : +fi + while [ "$#" -gt 0 ] ; do case "$1" in -m) |