diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-15 23:56:06 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-15 23:56:06 +0000 |
| commit | 038c98389fa5a5efb22cffaa35ecdddfc9a38036 (patch) | |
| tree | 04bae6b07cc56a603b9bb571367fda8181244b2b /dev-ada/gprbuild/files | |
| parent | 3392d5e937023e57811edc670b0ed7d3aba55c6d (diff) | |
gentoo auto-resync : 15:01:2023 - 23:56:06
Diffstat (limited to 'dev-ada/gprbuild/files')
| -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"; |