summaryrefslogtreecommitdiff
path: root/dev-lang/ada-bootstrap
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <mmk@levelnine.at>2024-10-07 19:44:26 +0200
committerConrad Kostecki <conikost@gentoo.org>2024-10-10 22:20:59 +0200
commitc6b9b2a1736133c9d01ca8107dae4e677055aa32 (patch)
tree8030b48135f0803e33ade2a3039f5e3f32a68bd7 /dev-lang/ada-bootstrap
parent4d3675613a952a1855944e1a40cf17bc675d9669 (diff)
downloadgentoo-c6b9b2a1736133c9d01ca8107dae4e677055aa32.tar.gz
gentoo-c6b9b2a1736133c9d01ca8107dae4e677055aa32.tar.bz2
gentoo-c6b9b2a1736133c9d01ca8107dae4e677055aa32.zip
dev-lang/ada-bootstrap: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
Diffstat (limited to 'dev-lang/ada-bootstrap')
-rw-r--r--dev-lang/ada-bootstrap/files/gcc-configure-texinfo.patch16
1 files changed, 0 insertions, 16 deletions
diff --git a/dev-lang/ada-bootstrap/files/gcc-configure-texinfo.patch b/dev-lang/ada-bootstrap/files/gcc-configure-texinfo.patch
deleted file mode 100644
index 99e90998a469..000000000000
--- a/dev-lang/ada-bootstrap/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
- ;;
-