diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-05-15 23:17:59 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-15 23:17:59 +0100 |
commit | 0ac9b6e3d5a2939310e8ec443f2b326610ab9a9f (patch) | |
tree | ec05a8259b848ef3d83ddee78040aabbe15f6719 /sys-devel/gcc/files/gcc-configure-texinfo.patch | |
parent | bf434c621ee151cff3a6444443a818244e334029 (diff) |
let's make redcore even more compatible with gentoo
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 - ;; - |