diff options
| author | Cristian Moldovan <cristian@crismblog.ro> | 2015-06-19 09:18:30 +0300 |
|---|---|---|
| committer | Cristian Moldovan <cristian@crismblog.ro> | 2015-06-19 09:18:30 +0300 |
| commit | b81de13a45795842f4d296c2dfff6aab2a9dd97e (patch) | |
| tree | 039b13059e556a8a7461281b623c903c616318d5 /sys-devel/base-gcc/files/gcc-configure-texinfo.patch | |
| parent | 975d01bc65f0f9190808c0d3cddf3131a790a8f6 (diff) | |
| parent | 4772dd84c7144b95c0489f25f669006726af8cfe (diff) | |
Merge pull request #1 from Rogentos/master
Database Update
Diffstat (limited to 'sys-devel/base-gcc/files/gcc-configure-texinfo.patch')
| -rw-r--r-- | sys-devel/base-gcc/files/gcc-configure-texinfo.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/sys-devel/base-gcc/files/gcc-configure-texinfo.patch b/sys-devel/base-gcc/files/gcc-configure-texinfo.patch deleted file mode 100644 index ddc098dd..00000000 --- a/sys-devel/base-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 - ---- configure -+++ configure -@@ -3573,6 +3573,6 @@ - : - else -- MAKEINFO="$MISSING makeinfo" -+ : - fi - ;; - |