diff options
Diffstat (limited to 'app-emulation/ganeti/files/ganeti-2.15.2-check-man-warnings.patch')
-rw-r--r-- | app-emulation/ganeti/files/ganeti-2.15.2-check-man-warnings.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/app-emulation/ganeti/files/ganeti-2.15.2-check-man-warnings.patch b/app-emulation/ganeti/files/ganeti-2.15.2-check-man-warnings.patch deleted file mode 100644 index 913033dde4b4..000000000000 --- a/app-emulation/ganeti/files/ganeti-2.15.2-check-man-warnings.patch +++ /dev/null @@ -1,13 +0,0 @@ -# https://bugs.gentoo.org/719846 -# Redirecting both stdout and stderr to /dev/null leaves nothing for grep to search -# Given that there aren't any warnings in the manpages, no need to filter, either ---- a/autotools/check-man-warnings 2020-04-30 23:10:08.140721582 +0000 -+++ b/autotools/check-man-warnings 2020-04-30 23:21:06.708945592 +0000 -@@ -37,6 +37,4 @@ - fi - - LANG="$loc" LC_ALL="$loc" MANWIDTH=80 \ -- man --warnings --encoding=utf8 --local-file "$1" 2>&1 >/dev/null | \ -- grep -v -e "cannot adjust line" -e "can't break line" | \ -- grep . -+ man --warnings --encoding=utf8 --local-file "$1" >/dev/null |