diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2017-11-28 11:51:36 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-11-28 17:43:16 +0100 |
| commit | b62ce3f69b25033f2393d438e756d26852c81b28 (patch) | |
| tree | c64f65c0b4481a47aec9f3eef703c47aaa6f1ea2 /profiles/arch | |
| parent | dev-lang/php: Version bump to 7.1.12 (diff) | |
| download | gentoo-b62ce3f69b25033f2393d438e756d26852c81b28.tar.gz gentoo-b62ce3f69b25033f2393d438e756d26852c81b28.tar.bz2 gentoo-b62ce3f69b25033f2393d438e756d26852c81b28.zip | |
profiles: Switch default PYTHON_TARGET to Python 3.5
Closes: https://github.com/gentoo/gentoo/pull/6330
Diffstat (limited to 'profiles/arch')
| -rw-r--r-- | profiles/arch/alpha/use.stable.mask | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/profiles/arch/alpha/use.stable.mask b/profiles/arch/alpha/use.stable.mask index 7185868eba82..32749b5d84a6 100644 --- a/profiles/arch/alpha/use.stable.mask +++ b/profiles/arch/alpha/use.stable.mask @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # This file requires eapi 5 or later. New entries go on top. @@ -8,8 +8,6 @@ # Mask python targets until dev-lang/python is stable. python_single_target_python3_6 python_targets_python3_6 -python_single_target_python3_5 -python_targets_python3_5 # Tobias Klausmann <klausman@gentoo.org> (17 Mar 2016) # Webkit itself is enormous (~13h compile+test on our fastest dev machine), so |