diff options
| author |   Brian Evans <grknight@gentoo.org> | 2018-08-10 12:30:28 -0400 |
|---|---|---|
| committer | Brian Evans <grknight@gentoo.org> | 2018-08-10 12:30:28 -0400 |
| commit | 33cfed03d08fa18bd082273d5084df3f2f8081fd (patch) | |
| tree | 996cc27a4da6b26a149e293ee4cc4663d3f9b780 /profiles/base/use.mask | |
| parent | dev-libs/libevent: Update HOMEPAGE (diff) | |
| download | gentoo-33cfed03d08fa18bd082273d5084df3f2f8081fd.tar.gz gentoo-33cfed03d08fa18bd082273d5084df3f2f8081fd.tar.bz2 gentoo-33cfed03d08fa18bd082273d5084df3f2f8081fd.zip | |
profiles: base/use.mask - Mask PHP 7.3 target during beta phase
Diffstat (limited to 'profiles/base/use.mask')
| -rw-r--r-- | profiles/base/use.mask | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/profiles/base/use.mask b/profiles/base/use.mask index b35a30ebccb7..0d78cc0838b6 100644 --- a/profiles/base/use.mask +++ b/profiles/base/use.mask @@ -1,9 +1,13 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Brian Evans <grknight@gentoo.org> (10 Aug 2018) +# Mask PHP 7.3 target while in beta +php_targets_php7-3 + # Andreas Sturmlechner <asturm@gentoo.org> (10 May 2018) # media-sound/mumble is masked/not keyworded at this point, bug #656826. mumble |