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