Gentoo Archives: gentoo-dev

From: Michael Haubenwallner <haubi@g.o>
To: gentoo-dev@l.g.o
Cc: prefix@g.o
Subject: [gentoo-dev] Re: [PATCH 1/4] profiles/prefix: Add arch/base to parent
Date: Thu, 02 Mar 2017 12:15:12
Message-Id: 6619f125-64f8-86e8-fb28-8395489b74d9@gentoo.org
In Reply to: [gentoo-dev] [PATCH 1/4] profiles/prefix: Add arch/base to parent by "Michał Górny"
1 On 02/13/2017 03:40 PM, Michał Górny wrote:
2 > ---
3 > profiles/prefix/parent | 1 +
4 > 1 file changed, 1 insertion(+)
5 >
6 > diff --git a/profiles/prefix/parent b/profiles/prefix/parent
7 > index 8f0e9fd7471d..3eaf2c441360 100644
8 > --- a/profiles/prefix/parent
9 > +++ b/profiles/prefix/parent
10 > @@ -1 +1,2 @@
11 > +../arch/base
12 > ../features/prefix/rpath
13 >
14
15 This causes duplicate inheritance of arch/base for prefix/linux/* profiles,
16 as they get arch/base via default/linux/* anyway.
17
18 Fixed in
19 https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3bf75385caac73e1ffb7035b37add91ef57583fe
20
21 /haubi/