diff options
| author |   Christoph Junghans <junghans@gentoo.org> | 2017-03-14 17:01:43 -0600 |
|---|---|---|
| committer | Christoph Junghans <junghans@gentoo.org> | 2017-03-16 08:31:15 -0600 |
| commit | e645c9d73e81be5a454e94d8aa157e6ad155cc61 (patch) | |
| tree | 466672b9b2926c56e6f0828a250608941ef45cbd /profiles/arch | |
| parent | sys-kernel/vanilla-sources: Automated version bump to {3.2.87,3.16.42} - remo... (diff) | |
| download | gentoo-e645c9d73e81be5a454e94d8aa157e6ad155cc61.tar.gz gentoo-e645c9d73e81be5a454e94d8aa157e6ad155cc61.tar.bz2 gentoo-e645c9d73e81be5a454e94d8aa157e6ad155cc61.zip | |
profiles/arch/hppa: mask boost[mpi]
Diffstat (limited to 'profiles/arch')
| -rw-r--r-- | profiles/arch/hppa/package.use.stable.mask | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/profiles/arch/hppa/package.use.stable.mask b/profiles/arch/hppa/package.use.stable.mask new file mode 100644 index 000000000000..b576c2905945 --- /dev/null +++ b/profiles/arch/hppa/package.use.stable.mask @@ -0,0 +1,23 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +# When you add an entry to the top of this file, add your name, the date, and +# an explanation of why something is getting masked. Please be extremely +# careful not to commit atoms that are not valid, as it can cause large-scale +# breakage, especially if it ends up in the daily snapshot. +# +## Example: +## +## # Dev E. Loper <developer@gentoo.org> (28 Jun 2012) +## # Masking foo USE flag until we can get the +## # foo stuff to work properly again (bug 12345) +## =media-video/mplayer-0.90_pre5 foo +## =media-video/mplayer-0.90_pre5-r1 foo +# + +#--- END OF EXAMPLES --- + +# Christoph Junghans <junghans@gentoo.org> (14 Feb 2017) +# Stable-masking mpi support so Boost 1.62 stabilization can go ahead +# (bug 590244) +=dev-libs/boost-1.62* mpi |