mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-06 02:17:34 -08:00
fca3b040c8
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
12 lines
321 B
Diff
12 lines
321 B
Diff
--- a/gpr/src/gpr-env.adb 2017-11-13 22:16:53.349083426 +0100
|
|
+++ b/gpr/src/gpr-env.adb 2017-11-13 22:17:22.692590351 +0100
|
|
@@ -1948,6 +1948,8 @@
|
|
|
|
end if;
|
|
|
|
+ Add_Directories (Self, "/usr/share/gpr");
|
|
+
|
|
if Gpr_Prj_Path.all /= "" then
|
|
Add_Directories (Self, Gpr_Prj_Path.all);
|
|
end if;
|