diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-03-17 23:59:21 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-03-17 23:59:21 +0000 |
| commit | 430f903b58a857fd104287061eba0885b7890c53 (patch) | |
| tree | 084fd5cdc75a212b2d4ed65eabd0e00fee6318f7 /maintainer-scripts/update_web_docs | |
| parent | fcf12682a3779e7a22bc08e192c7f05152541fe7 (diff) | |
| download | ppe42-gcc-430f903b58a857fd104287061eba0885b7890c53.tar.gz ppe42-gcc-430f903b58a857fd104287061eba0885b7890c53.zip | |
* update_web_docs: Don't strip leading -r from argument following
-r, or leading -d from argument following -d. Bug pointed out by
Matt Kraai.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@40590 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index cfaf80f4604..bb67366229a 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -21,7 +21,7 @@ while [ $# -gt 0 ]; do RELEASE="${1#-r}" if [ -z "$RELEASE" ]; then shift - RELEASE="${1#-r}" + RELEASE="$1" if [ -z "$RELEASE" ]; then echo "No release specified with -r" >&2 exit 1 @@ -36,7 +36,7 @@ while [ $# -gt 0 ]; do SUBDIR="${1#-d}" if [ -z "$SUBDIR" ]; then shift - SUBDIR="${1#-d}" + SUBDIR="$1" if [ -z "$SUBDIR" ]; then echo "No subdirectory specified with -d" >&2 exit 1 |
