diff options
| -rw-r--r-- | profiles/base/make.defaults | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/base/make.defaults b/profiles/base/make.defaults index a037994c9e83..db1bba9bb64d 100644 --- a/profiles/base/make.defaults +++ b/profiles/base/make.defaults @@ -171,7 +171,7 @@ PHP_TARGETS="php7-3 php7-4" # Alfredo Tupone <tupone@gentoo.org> (2019-09-03) # # Default ADA target -ADA_TARGET="gnat_2018" +ADA_TARGET="gnat_2019" # Marek Szuba <marecki@gentoo.org> (2020-10-15) # Default targets for lua{,-single}.eclass |