diff options
Diffstat (limited to 'dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch')
-rw-r--r-- | dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch b/dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch new file mode 100644 index 000000000000..4455e8befffa --- /dev/null +++ b/dev-ada/gprbuild/files/gprbuild-22.0.0-nm.patch @@ -0,0 +1,11 @@ +--- a/share/gprconfig/linker.xml 2021-12-21 22:36:01.054738486 +0100 ++++ b/share/gprconfig/linker.xml 2021-12-21 22:36:59.973738600 +0100 +@@ -128,7 +128,7 @@ + <host name="^i686.*-linux.*$" /> + </hosts> + <config> +- for Object_Lister use ("nm", "-g"); ++ for Object_Lister use ("${HOST(Ada)}-nm", "-g"); + for Object_Lister_Matcher use " [TDRB] (.*)"; + + package Linker is |