diff options
author | Ulrich Müller <ulm@gentoo.org> | 2024-04-23 07:37:17 +0200 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2024-04-23 21:08:02 +0200 |
commit | 42766f95e5c0e7eb9e21db964ed93c7e093cc0b9 (patch) | |
tree | afd5c1a1498752cf44de77abc07392f031d1c4b9 /build-aux/make-info-dir | |
parent | 81476fa19e86f4d3a697909a87bec58a48e98d58 (diff) | |
download | emacs-42766f95e5c0e7eb9e21db964ed93c7e093cc0b9.tar.gz |
* build-aux/make-info-dir: Avoid bashism (bug#70484).
Diffstat (limited to 'build-aux/make-info-dir')
-rwxr-xr-x | build-aux/make-info-dir | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir index e5f4972902f..631fe533e69 100755 --- a/build-aux/make-info-dir +++ b/build-aux/make-info-dir @@ -33,7 +33,8 @@ ## Header contains non-printing characters, so this is more ## reliable than using awk. -cat <"${1?}" || exit +test $# -ge 2 || exit 1 +cat <"$1" shift exec "${AWK-awk}" ' @@ -101,4 +102,4 @@ exec "${AWK-awk}" ' if (data[dircat]) printf "\n%s\n%s", topic[dircat], data[dircat] } -' "${@?}" +' "$@" |