[gentoo-commits] repo/gentoo:master commit in: dev-ada/gprbuild/files/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     daf8b0a42113e371cfd4f3e31aa99c5e6c73da22
Author:     Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at>
AuthorDate: Sun Jan 15 19:57:12 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jan 15 20:54:22 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=daf8b0a4

dev-ada/gprbuild: remove unused patch

Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at>
Closes: https://github.com/gentoo/gentoo/pull/29120
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch | 12 ------------
 1 file changed, 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";