From daf8b0a42113e371cfd4f3e31aa99c5e6c73da22 Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Sun, 15 Jan 2023 20:57:12 +0100 Subject: [PATCH] dev-ada/gprbuild: remove unused patch Signed-off-by: Michael Mair-Keimberger Closes: https://github.com/gentoo/gentoo/pull/29120 Signed-off-by: Alfredo Tupone --- dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch 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 6a9513473bf9b..0000000000000 --- 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 @@ - - - -- 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";