From mboxrd@z Thu Jan 1 00:00:00 1970 From: Corneliu ZUZU Subject: EXTRA_CFLAGS when compiling Xen Date: Wed, 17 Feb 2016 12:19:41 +0200 Message-ID: <56C4493D.10703@bitdefender.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Xen-devel Cc: Tamas K Lengyel , Keir Fraser , Ian Campbell , Razvan Cojocaru , Andrew Cooper , Stefano Stabellini , Jan Beulich List-Id: xen-devel@lists.xenproject.org Hi all, 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. Thank you, Corneliu.