commit | 15c08efebde85a564b68285a4b6999f673ce422f | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Wed Apr 17 16:26:46 2013 +0200 |
committer | Edgar E. Iglesias <edgar.iglesias@gmail.com> | Thu Apr 18 14:12:31 2013 +0200 |
tree | 7cc0600c227f4a9cc68bdbc9946149ee2e386d57 | |
parent | 2b6b7099fb17ab9efa51c430e348ee88d6fbcef2 [diff] |
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>