dev-ada/aws/files/aws-2020-gentoo.patch

   1 --- a/include/include.gpr       2017-02-17 22:09:14.361695926 +0100
   2 +++ b/include/include.gpr       2017-02-17 22:11:36.497215517 +0100
   3 @@ -54,7 +54,7 @@
   4
   5           when "Release" =>
   6              for Default_Switches ("Ada") use
   7 -              ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Global_Options;
   8 +              ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Adaflags & Shared.Global_Options;
   9        end case;
  10
  11        case Shared.S_Target is