diff options
author | Florian Schmaus <flow@gentoo.org> | 2024-05-20 13:04:55 +0200 |
---|---|---|
committer | Florian Schmaus <flow@gentoo.org> | 2024-05-21 10:58:08 +0200 |
commit | 66780befaf58c6956afb4221911bd2ed1c240810 (patch) | |
tree | efcea4deb55260c2b786cf937007c1850cf5606c | |
parent | texlive-module.eclass: invoke doman with nonfatal (diff) | |
download | gentoo-66780befaf58c6956afb4221911bd2ed1c240810.tar.gz gentoo-66780befaf58c6956afb4221911bd2ed1c240810.tar.bz2 gentoo-66780befaf58c6956afb4221911bd2ed1c240810.zip |
texlive-module.eclass: include PIPESTATUS in die message
Signed-off-by: Florian Schmaus <flow@gentoo.org>
-rw-r--r-- | eclass/texlive-module.eclass | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/eclass/texlive-module.eclass b/eclass/texlive-module.eclass index 7d40bfc58994..d7ec59c25a8a 100644 --- a/eclass/texlive-module.eclass +++ b/eclass/texlive-module.eclass @@ -539,11 +539,12 @@ texlive-module_src_install() { find texmf-dist/doc/man -type f -name '*.[0-9n]' -print | grep -v "${grep_expressions[@]}" | xargs -d '\n' --no-run-if-empty nonfatal doman + local pipestatus="${PIPESTATUS[*]}" # The grep in the middle of the pipe may return 1 in case # everything from the input is dropped. # See https://bugs.gentoo.org/931994 - [[ "${PIPESTATUS[*]}" == "0 "[01]" 0" ]] - eend $? || die "error installing man pages" + [[ ${pipestatus} == "0 "[01]" 0" ]] + eend $? || die "error installing man pages (pipestatus: ${pipestatus})" # Delete all man pages under texmf-dist/doc/man find texmf-dist/doc/man -type f -name '*.[0-9n]' -delete || |