> 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?


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to