diff --git a/db/linker.xml b/db/linker.xml index ec34ae66..71c75625 100644 --- a/db/linker.xml +++ b/db/linker.xml @@ -1199,6 +1199,7 @@ + for Library_Builder use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";