diff options
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"; |