diff options
| author |   Michael Mair-Keimberger <mmk@levelnine.at> | 2023-01-15 20:57:12 +0100 |
|---|---|---|
| committer |   Alfredo Tupone <tupone@gentoo.org> | 2023-01-15 21:54:22 +0100 |
| commit | daf8b0a42113e371cfd4f3e31aa99c5e6c73da22 (patch) | |
| tree | 007ad8070394bafe17fda88f0587cfe0c3aa36f9 /dev-ada | |
| parent | dev-tcltk/snack: select PEP517 (diff) | |
| download | gentoo-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.patch | 12 |
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"; |