diff options
| author |   Jeroen Roovers <jer@gentoo.org> | 2008-06-16 04:46:03 +0000 |
|---|---|---|
| committer | Jeroen Roovers <jer@gentoo.org> | 2008-06-16 04:46:03 +0000 |
| commit | 36cc6b59f6dc1b8dbf7915d6d54738ad831d9147 (patch) | |
| tree | 5e667220612cd8fa5183fa1723a69bb004547be1 /profiles | |
| parent | Mask dev-lib/boost's upcoming USE=mpi (bug #225045). (diff) | |
| download | historical-36cc6b59f6dc1b8dbf7915d6d54738ad831d9147.tar.gz historical-36cc6b59f6dc1b8dbf7915d6d54738ad831d9147.tar.bz2 historical-36cc6b59f6dc1b8dbf7915d6d54738ad831d9147.zip | |
Mask dev-lib/boost's upcoming USE=mpi (bug #225045).
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/default/linux/hppa/ChangeLog | 5 | ||||
| -rw-r--r-- | profiles/default/linux/hppa/package.use.mask | 9 |
2 files changed, 13 insertions, 1 deletions
diff --git a/profiles/default/linux/hppa/ChangeLog b/profiles/default/linux/hppa/ChangeLog index cf87e540b8bc..d4d300bfe8a0 100644 --- a/profiles/default/linux/hppa/ChangeLog +++ b/profiles/default/linux/hppa/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for profiles/default/linux/hppa # Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/default/linux/hppa/ChangeLog,v 1.1 2008/06/07 15:22:59 jer Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/default/linux/hppa/ChangeLog,v 1.2 2008/06/16 04:46:03 jer Exp $ + + 16 Jun 2008; Jeroen Roovers <jer@gentoo.org> +package.use.mask: + Mask dev-lib/boost's upcoming USE=mpi (bug #225045). 07 Jun 2008; Jeroen Roovers <jer@gentoo.org> +use.mask: Mask dev-util/anjuta:valgrind. diff --git a/profiles/default/linux/hppa/package.use.mask b/profiles/default/linux/hppa/package.use.mask new file mode 100644 index 000000000000..15770c0f616e --- /dev/null +++ b/profiles/default/linux/hppa/package.use.mask @@ -0,0 +1,9 @@ +# Copyright 1999-2008 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/profiles/default/linux/hppa/package.use.mask,v 1.1 2008/06/16 04:46:03 jer Exp $ +# DON'T TOUCH THIS FILE. Instead, file a bug and assign it to <hppa@gentoo.org>. + +# Jeroen Roovers <jer@gentoo.org> (16 Jun 2008) +# No mpi implementation in the tree currently works, so mask mpi (bug #225045). +dev-libs/boost mpi + +# DON'T TOUCH THIS FILE. Instead, file a bug and assign it to <hppa@gentoo.org>. |