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> Olaf _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
