diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-01-12 15:20:39 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-01-12 15:21:28 -0800 |
| commit | 8c4223e2f1a3180d0836e29e136b41ce0e7afe72 (patch) | |
| tree | ae754f276d13cd06dfd5a037811cd75e6ee30e70 /build-aux/gnu-web-doc-update | |
| parent | 3f89681acc0abf7d2d6a6893ab00c3f7e25cced1 (diff) | |
| download | gnulib-8c4223e2f1a3180d0836e29e136b41ce0e7afe72.tar.gz | |
Port "$@" to OpenIndiana ksh93
In http://lists.gnu.org/archive/html/bug-autoconf/2015-12/msg00000.html
Pavel Raiskup reports that ${1+"$@"} runs afoul of a bug in /bin/sh
(derived from ksh 93t+ 2010-03-05). ${1+"$@"} works around an ancient
bug long-dead shells, so remove the workaround.
* build-aux/announce-gen, build-aux/do-release-commit-and-tag:
* build-aux/gitlog-to-changelog, build-aux/gnu-web-doc-update:
* build-aux/prefix-gnulib-mk, build-aux/update-copyright:
* build-aux/useless-if-before-free, tests/test-update-copyright.sh:
Use "$@" instead of ${1+"$@"}.
Diffstat (limited to 'build-aux/gnu-web-doc-update')
| -rwxr-xr-x | build-aux/gnu-web-doc-update | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index 1684f5e5b5..ec2116852c 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -2,7 +2,7 @@ # Run this after each non-alpha release, to update the web documentation at # http://www.gnu.org/software/$pkg/manual/ -VERSION=2016-01-11.22; # UTC +VERSION=2016-01-12.23; # UTC # Copyright (C) 2009-2016 Free Software Foundation, Inc. @@ -117,7 +117,7 @@ do opt=$(echo "$1" | sed -e 's/=.*//') val=$(echo "$1" | sed -e 's/[^=]*=//') shift - set dummy "$opt" "$val" ${1+"$@"}; shift + set dummy "$opt" "$val" "$@"; shift ;; esac |