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 | b45e7038055cc5175e4c369c88e6bd2ef6186985 (patch) | |
| tree | ffe54b673cff1efc6bed02ec40a90fe86d1ea356 /profiles/default | |
| parent | Mask dev-lib/boost's upcoming USE=mpi (bug #225045). (diff) | |
| download | gentoo-2-b45e7038055cc5175e4c369c88e6bd2ef6186985.tar.gz gentoo-2-b45e7038055cc5175e4c369c88e6bd2ef6186985.tar.bz2 gentoo-2-b45e7038055cc5175e4c369c88e6bd2ef6186985.zip | |
Mask dev-lib/boost's upcoming USE=mpi (bug #225045).
Diffstat (limited to 'profiles/default')
| -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>. |