From mboxrd@z Thu Jan 1 00:00:00 1970 From: Corneliu ZUZU Subject: Re: EXTRA_CFLAGS when compiling Xen Date: Wed, 17 Feb 2016 12:34:54 +0200 Message-ID: <56C44CCE.3030309@bitdefender.com> References: <56C4493D.10703@bitdefender.com> <56C44A25.5010506@bitdefender.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <56C44A25.5010506@bitdefender.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: Razvan Cojocaru , Xen-devel Cc: Tamas K Lengyel , Keir Fraser , Ian Campbell , Andrew Cooper , Stefano Stabellini , Jan Beulich List-Id: xen-devel@lists.xenproject.org On 2/17/2016 12:23 PM, Razvan Cojocaru wrote: >> Could anyone tell me if and how I could pass some GCC extra compilation >> flags when building Xen (i.e. make dist-xen)? >> I tried: >> * when running make: passing EXTRA_CFLAGS >> * when running make: passing CFLAGS (this "works" but overrides the rest >> of the CFLAGS) >> * when running ./configure: passing --extra-cflags. >> None works. >> >> Is there an established modality for this or must I manually modify the >> makefiles? >> The reason I need this is to pass '-save-temps' to GCC, I want to >> inspect some code >> and it would be easier to do that on the preprocessed files. > Does editing Config.mk not work? I was wondering also if there is a "proper" way to do that, but that easily does the job, thanks. For whoever else needs this, I simply added CFLAGS += -save-temps=obj in Config.mk (see similar "CFLAGS +=" lines). Corneliu.