diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-09-04 12:09:57 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-09-04 12:09:57 +0200 |
| commit | ad4972fe57ab3fe65c1057609450c214d4f98154 (patch) | |
| tree | 81f9948d3478307bbcd0f2bc84811ae39bcd3a4e /dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch | |
| parent | dev-cpp/sparsehash: Remove automagic dep on google-perftools (diff) | |
| download | gentoo-ad4972fe57ab3fe65c1057609450c214d4f98154.tar.gz gentoo-ad4972fe57ab3fe65c1057609450c214d4f98154.tar.bz2 gentoo-ad4972fe57ab3fe65c1057609450c214d4f98154.zip | |
dev-lang/gnat-gpl: Remove usage of PORTDIR. Fix bug #629764
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Diffstat (limited to 'dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch')
| -rw-r--r-- | dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch b/dev-lang/gnat-gpl/files/gcc-configure-texinfo.patch new file mode 100644 index 000000000000..ddc098ddbd58 --- /dev/null +++ b/dev-lang/gnat-gpl/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 + +--- configure ++++ configure +@@ -3573,6 +3573,6 @@ + : + else +- MAKEINFO="$MISSING makeinfo" ++ : + fi + ;; + |