Revision 15c08efe
ID | 15c08efebde85a564b68285a4b6999f673ce422f |
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>
Files
- added
- modified
- copied
- renamed
- deleted