diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2013-04-17 16:26:46 +0200 |
|---|---|---|
| committer | Edgar E. Iglesias <edgar.iglesias@gmail.com> | 2013-04-18 14:12:31 +0200 |
| commit | 15c08efebde85a564b68285a4b6999f673ce422f (patch) | |
| tree | 7cc0600c227f4a9cc68bdbc9946149ee2e386d57 /include/hw/xen/xen.h | |
| 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>
Diffstat (limited to 'include/hw/xen/xen.h')
| -rw-r--r-- | include/hw/xen/xen.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/hw/xen/xen.h b/include/hw/xen/xen.h index 6235f91fe0..7451c5a0bf 100644 --- a/include/hw/xen/xen.h +++ b/include/hw/xen/xen.h @@ -25,7 +25,7 @@ extern bool xen_allowed; static inline bool xen_enabled(void) { -#if defined(CONFIG_XEN_BACKEND) && !defined(CONFIG_NO_XEN) +#if defined(CONFIG_XEN_BACKEND) && defined(CONFIG_XEN) return xen_allowed; #else return 0; |