summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <mmk@levelnine.at>2023-01-15 20:57:12 +0100
committerAlfredo Tupone <tupone@gentoo.org>2023-01-15 21:54:22 +0100
commitdaf8b0a42113e371cfd4f3e31aa99c5e6c73da22 (patch)
tree007ad8070394bafe17fda88f0587cfe0c3aa36f9 /dev-ada
parentdev-tcltk/snack: select PEP517 (diff)
downloadgentoo-daf8b0a42113e371cfd4f3e31aa99c5e6c73da22.tar.gz
gentoo-daf8b0a42113e371cfd4f3e31aa99c5e6c73da22.tar.bz2
gentoo-daf8b0a42113e371cfd4f3e31aa99c5e6c73da22.zip
dev-ada/gprbuild: remove unused patch
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/29120 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada')
-rw-r--r--dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch12
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch b/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch
deleted file mode 100644
index 6a9513473bf9..000000000000
--- a/dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch
+++ /dev/null
@@ -1,12 +0,0 @@
---- a/share/gprconfig/linker.xml 2021-12-22 22:40:42.611766036 +0100
-+++ b/share/gprconfig/linker.xml 2021-12-22 22:42:28.839096356 +0100
-@@ -877,7 +877,8 @@
- <host name="^x86_64-.*linux.*" />
- </hosts>
- <config>
-- for Archive_Builder use ("ar", "cr");
-+ AR := External("AR", "ar");
-+ for Archive_Builder use (AR, "cr");
- for Archive_Builder_Append_Option use ("q");
- for Archive_Indexer use ("ranlib");
- for Archive_Suffix use ".a";