Paolo Bonzini 15c08efebd configure: CONFIG_NO_XEN is duplicated ... We already define it in Makefile.target. But we need to avoid a curious double negation in order to eliminate it. Tested-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com> Reviewed-by: Peter Maydell <peter.maydell@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Edgar E. Iglesias <edgar.iglesias@gmail.com>		2013-04-18 14:12:31 +02:00
..
xen_backend.h
xen_common.h
xen.h	configure: CONFIG_NO_XEN is duplicated	2013-04-18 14:12:31 +02:00