tree 7cc0600c227f4a9cc68bdbc9946149ee2e386d57
parent 2b6b7099fb17ab9efa51c430e348ee88d6fbcef2
author Paolo Bonzini <pbonzini@redhat.com> 1366208806 +0200
committer Edgar E. Iglesias <edgar.iglesias@gmail.com> 1366287151 +0200

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>