diff --git a/share/gprconfig/linker.xml b/share/gprconfig/linker.xml index 781231c2..acb93a39 100644 --- a/share/gprconfig/linker.xml +++ b/share/gprconfig/linker.xml @@ -991,13 +991,14 @@ - + + for Library_Builder use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";