Commit 15c08efe authored by Paolo Bonzini's avatar Paolo Bonzini Committed by Edgar E. Iglesias
Browse files

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: default avatarStefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: default avatarPeter Maydell <peter.maydell@linaro.org>
Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>
Signed-off-by: default avatarEdgar E. Iglesias <edgar.iglesias@gmail.com>
parent 2b6b7099

configure

+0 −3
Original line number Diff line number Diff line
@@ -4299,12 +4299,9 @@ case "$target_arch2" in 
      if test "$xen_pci_passthrough" = yes; then

        echo "CONFIG_XEN_PCI_PASSTHROUGH=y" >> "$config_target_mak"

      fi

    else

      echo "CONFIG_NO_XEN=y" >> $config_target_mak

    fi

    ;;

  *)

    echo "CONFIG_NO_XEN=y" >> $config_target_mak

esac

case "$target_arch2" in

  arm|i386|x86_64|ppcemb|ppc|ppc64|s390x)

include/hw/xen/xen.h

+1 −1
Original line number Diff line number Diff line
@@ -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;