From mboxrd@z Thu Jan 1 00:00:00 1970 From: Christoph Egger Subject: Re: [PATCH v2 4/4] tools/build: change order of config/Tools.mk inclusion Date: Fri, 18 May 2012 16:08:02 +0200 Message-ID: <4FB657C2.8090007@amd.com> References: <1337256990-51913-1-git-send-email-roger.pau@citrix.com> <1337256990-51913-4-git-send-email-roger.pau@citrix.com> <20406.12213.751409.867469@mariner.uk.xensource.com> <4FB632A6.4000403@citrix.com> <20406.13989.715688.280631@mariner.uk.xensource.com> <4FB639B3.3000905@citrix.com> <20406.20226.542693.284753@mariner.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <20406.20226.542693.284753@mariner.uk.xensource.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Jackson Cc: "xen-devel@lists.xen.org" , Roger Pau Monne List-Id: xen-devel@lists.xenproject.org On 05/18/12 15:30, Ian Jackson wrote: > Roger Pau Monne writes ("Re: [PATCH v2 4/4] tools/build: change order of config/Tools.mk inclusion"): >> Ian Jackson wrote: >>> I know that. But given that the configure is just for the tools >>> build, should we honour PREFIX from Config.mk (and ./.config or >>> command line arguments) or from ./configure ? >> >> I think the one from configure, since we have a configure script, better >> make use of it, that is what users expect. > > I guess so. > >> I will resend this patch with the above changes to config/Linux.mk, >> is that ok? > > I don't think prefixing paths in /var with PREFIX is ever right. > Overriding it in Linux.mk seems like a band-aid. One suggestion: Move all path variables out of config/*.mk and let configure generate a config/paths.mk. Christoph -- ---to satisfy European Law for business letters: Advanced Micro Devices GmbH Einsteinring 24, 85689 Dornach b. Muenchen Geschaeftsfuehrer: Alberto Bozzo, Andrew Bowd Sitz: Dornach, Gemeinde Aschheim, Landkreis Muenchen Registergericht Muenchen, HRB Nr. 43632