diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-06-13 17:12:17 +0200 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-13 17:18:22 +0200 |
| commit | b1de0e624493aa9f947026930bcbfab0cb5c2513 (patch) | |
| tree | af4dbb12aa71f86b75982abdc545e28141e2a97a /profiles/arch | |
| parent | media-sound/ncmpc: ppc64 stable wrt bug #687942 (diff) | |
| download | gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.tar.gz gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.tar.bz2 gentoo-b1de0e624493aa9f947026930bcbfab0cb5c2513.zip | |
profiles: Move php_targets_php7-3 mask to use.stable.mask
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'profiles/arch')
| -rw-r--r-- | profiles/arch/arm/use.mask | 4 | ||||
| -rw-r--r-- | profiles/arch/arm/use.stable.mask | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/profiles/arch/arm/use.mask b/profiles/arch/arm/use.mask index 9734926eac47..f43742a9f2af 100644 --- a/profiles/arch/arm/use.mask +++ b/profiles/arch/arm/use.mask @@ -5,10 +5,6 @@ -cpu_flags_arm_iwmmxt -cpu_flags_arm_iwmmxt2 -# Thomas Deutschmann <whissi@gentoo.org> (08 Jun 2019) -# Needs dev-lang/php:7.3 stable -php_targets_php7-3 - # Michał Górny <mgorny@gentoo.org> (16 Jul 2018) # Python 3.7 support requires fresh versions of packages which are stuck # at keywordreqs. diff --git a/profiles/arch/arm/use.stable.mask b/profiles/arch/arm/use.stable.mask index 00124b594bbc..17a064b8ce9b 100644 --- a/profiles/arch/arm/use.stable.mask +++ b/profiles/arch/arm/use.stable.mask @@ -4,6 +4,10 @@ # This file requires eapi 5 or later. New entries go on top. # Please use the same syntax as in use.mask +# Thomas Deutschmann <whissi@gentoo.org> (08 Jun 2019) +# Needs dev-lang/php:7.3 stable +php_targets_php7-3 + # Mike Gilbert <floppym@gentoo.org> (08 Jun 2017) # dev-lang/python:3.7 is not stable. python_targets_python3_7 |