On Tue, Jun 7, 2016 at 3:10 PM, Olaf Hering <o...@aepfle.de> wrote: > On Tue, Jun 07, George Dunlap wrote: > >> CFLAGS_EXTRA="$RPM_OPT_FLAGS" >> make tools >> make xen > > Dont we have all that in place already? > > export EXTRA_CFLAGS_XEN_TOOLS="$RPM_OPT_FLAGS" > export EXTRA_CFLAGS_QEMU_TRADITIONAL="$RPM_OPT_FLAGS" > export EXTRA_CFLAGS_QEMU_XEN="$RPM_OPT_FLAGS" > ./configure --disable-xen > make > make xen CC=<whatever>
Ah, I didn't know about that feature. Much better! It looks like we could probably use with having the makefile *not* pass EXTRA_CFLAGS_XEN_TOOLS into the stubdom build; but this solves my problem. We packagers -- at very least the RPM-based ones -- should make it a point to get together once in a while to compare notes... -George _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
