diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2020-05-22 20:42:42 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-05-22 20:42:42 +0200 |
| commit | 1203b45baf8ad18501f6ec1e056007c4f6e32633 (patch) | |
| tree | 685cd6c530e54b294584aaa9eae6be83d744d673 /dev-ada/aws/files/aws-2020-gentoo.patch | |
| parent | 6cebaeb21b849b62633ae160bde8fb58be73767e (diff) | |
| download | gentoo-1203b45baf8ad18501f6ec1e056007c4f6e32633.tar.gz gentoo-1203b45baf8ad18501f6ec1e056007c4f6e32633.tar.bz2 gentoo-1203b45baf8ad18501f6ec1e056007c4f6e32633.zip | |
dev-ada/aws: Version bump to 2020
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ada/aws/files/aws-2020-gentoo.patch')
| -rw-r--r-- | dev-ada/aws/files/aws-2020-gentoo.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ada/aws/files/aws-2020-gentoo.patch b/dev-ada/aws/files/aws-2020-gentoo.patch new file mode 100644 index 000000000000..23f3dc38f1ee --- /dev/null +++ b/dev-ada/aws/files/aws-2020-gentoo.patch @@ -0,0 +1,11 @@ +--- 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 +- ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Global_Options; ++ ("-gnat2012", "-O2", "-gnatws", "-gnatn") & Shared.Adaflags & Shared.Global_Options; + end case; + + case Shared.S_Target is |