diff options
Diffstat (limited to 'dev-ada/gprbuild/files/gprbuild-2021-ar.patch')
| -rw-r--r-- | dev-ada/gprbuild/files/gprbuild-2021-ar.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-2021-ar.patch b/dev-ada/gprbuild/files/gprbuild-2021-ar.patch deleted file mode 100644 index 77f0cfead7ed..000000000000 --- a/dev-ada/gprbuild/files/gprbuild-2021-ar.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/share/gprconfig/linker.xml 2021-12-22 22:06:14.895471351 +0100 -+++ b/share/gprconfig/linker.xml 2021-12-22 22:08:01.050767123 +0100 -@@ -864,7 +864,7 @@ - <host name="^x86_64-.*linux.*" /> - </hosts> - <config> -- for Archive_Builder use ("ar", "cr"); -+ for Archive_Builder use ("${HOST(Ada)}-ar", "cr"); - for Archive_Builder_Append_Option use ("q"); - for Archive_Indexer use ("ranlib"); - for Archive_Suffix use ".a"; |