diff options
| author |   Michael Haubenwallner <haubi@gentoo.org> | 2019-01-08 17:54:21 +0100 |
|---|---|---|
| committer | Michael Haubenwallner <haubi@gentoo.org> | 2019-01-08 17:56:18 +0100 |
| commit | 2c90572d4947254855f83c1cbb182cb2d3d5fb0f (patch) | |
| tree | f6f64f4c050ac3641b656b7b2092463406a2ff19 /profiles | |
| parent | media-sound/pulseaudio: import bluetooth extra codecs (diff) | |
| download | gentoo-2c90572d4947254855f83c1cbb182cb2d3d5fb0f.tar.gz gentoo-2c90572d4947254855f83c1cbb182cb2d3d5fb0f.tar.bz2 gentoo-2c90572d4947254855f83c1cbb182cb2d3d5fb0f.zip | |
profiles/prefix/linux(guest): p.mask sys-kernel/linux-headers
Prefix Guest does use host libc and host kernel's headers,
hence packages should depend on virtual/os-headers instead.
Signed-off-by: Michael Haubenwallner <haubi@gentoo.org>
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/prefix/linux/package.mask | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/profiles/prefix/linux/package.mask b/profiles/prefix/linux/package.mask index 17532723914b..b13eb34a5206 100644 --- a/profiles/prefix/linux/package.mask +++ b/profiles/prefix/linux/package.mask @@ -1,2 +1,7 @@ -# Copyright 1999-2013 Gentoo Foundation +# Copyright 1999-2019 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 + +# Michael Haubenwallner <haubi@gentoo.org> (08 Jan 2019) +# Prefix Guest does use host libc and host kernel's headers, +# hence packages should depend on virtual/os-headers instead. +sys-kernel/linux-headers |