Gentoo Archives: gentoo-dev

From: Alain Penders <alain@g.o>
To: Gentoo Developer <gentoo-dev@g.o>
Subject: Re: [gentoo-dev] /etc/make.profile whats that ?
Date: Thu, 13 Feb 2003 16:26:28
Message-Id: 20030213161718.GA29116@purematrix.com
In Reply to: Re: [gentoo-dev] /etc/make.profile whats that ? by Ingo Krabbe
1 On Thu, Feb 13, 2003 at 11:18:41AM +0100, Ingo Krabbe wrote:
2
3 > > 1. Environment variables
4 > > 2. /etc/make.conf, for your use
5 > > 3. /etc/make.profile/make.defaults, for profile-specific defaults
6 > > 4. /etc/make.globals, for global defaults (settings not specified in any
7 > > other place come from here)
8 > >
9 >
10 > UPS, than I have a BUG here. ACCEPT_KEYWORDS from /etc/make.conf gets
11 > overwritten by ACCEPT_KEYWORDS in /etc/make.profile/make.defaults
12 >
13 > Thats the wrong order concerning the priority list above.
14
15 The above list is correct, but there are some variables that are merged
16 from the different configuration files/sources instead of replacing the
17 lower priority one. ACCEPT_KEYWORDS is one of those. make.default
18 contains your stable architecture keyword, which always has to be part
19 of the accepted keywords, and hence has higher priority than whatever
20 you put in make.conf.
21
22 Alain
23
24 --
25 gentoo-dev@g.o mailing list

Replies

Subject Author
Re: [gentoo-dev] /etc/make.profile whats that ? Ingo Krabbe <i.krabbe@×××××.net>