gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity

dev-ada/gprbuild: remove unused patch

Browse Source 
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>
This commit is contained in:
Michael Mair-Keimberger
2023-01-15 20:57:12 +01:00
committed by Alfredo Tupone
parent e59c3751e4
commit daf8b0a421
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
dev-ada/gprbuild/files/gprbuild-22.0.0-ar.patch
View File

@@ -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";