diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-09-27 19:46:37 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-27 19:46:37 +0100 |
| commit | 53bd6d9f9192478caafe27c274a3584266168b53 (patch) | |
| tree | ec5722b4eb507d891c95372ae44c95a579d8dcb6 /sys-devel/gcc/files/gcc-configure-texinfo.patch | |
| parent | d581f3e2fa409d254c1b68391a8cf5a9d9d9fcbd (diff) | |
sys-devel/gcc : revision bump
Diffstat (limited to 'sys-devel/gcc/files/gcc-configure-texinfo.patch')
| -rw-r--r-- | sys-devel/gcc/files/gcc-configure-texinfo.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/sys-devel/gcc/files/gcc-configure-texinfo.patch b/sys-devel/gcc/files/gcc-configure-texinfo.patch new file mode 100644 index 00000000..99e90998 --- /dev/null +++ b/sys-devel/gcc/files/gcc-configure-texinfo.patch @@ -0,0 +1,16 @@ +Chances are quite good that the installed makeinfo is sufficient. +So ignore false positives where the makeinfo installed is so new +that it violates the cheesy version grep. + +http://bugs.gentoo.org/198182 + +--- a/configure ++++ b/configure +@@ -3573,6 +3573,6 @@ + : + else +- MAKEINFO="$MISSING makeinfo" ++ : + fi + ;; + |