diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-05-08 10:31:02 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-05-08 10:31:02 +0100 |
| commit | b1b2cbaa6e6041de83f328adb0cc2b4191aaf93e (patch) | |
| tree | 4e08e6673f3e504ae7ef96e3c6681b501d9c3a4c /sys-devel/gcc/files/gcc-configure-texinfo.patch | |
| parent | 8392da4da96445bee61747b25a6c18bd4774c0c0 (diff) | |
clean unused
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, 0 insertions, 16 deletions
diff --git a/sys-devel/gcc/files/gcc-configure-texinfo.patch b/sys-devel/gcc/files/gcc-configure-texinfo.patch deleted file mode 100644 index 99e90998..00000000 --- a/sys-devel/gcc/files/gcc-configure-texinfo.patch +++ /dev/null @@ -1,16 +0,0 @@ -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 - ;; - |