mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-21 21:17:37 -08:00
12 lines
450 B
Diff
12 lines
450 B
Diff
--- a/include/include.gpr 2017-02-17 22:09:14.361695926 +0100
|
|
+++ b/include/include.gpr 2017-02-17 22:11:36.497215517 +0100
|
|
@@ -54,7 +54,7 @@
|
|
|
|
when "Release" =>
|
|
for Default_Switches ("Ada") use
|
|
- ("-gnat2022", "-O2", "-gnatws", "-gnatn") & Shared.Global_Options;
|
|
+ ("-gnat2022", "-O2", "-gnatws", "-gnatn") & Shared.Adaflags & Shared.Global_Options;
|
|
end case;
|
|
|
|
case Shared.S_Target is
|