[PATCH v2] configure: Do not intent to build WHPX on 32-bit host

[Philippe Mathieu-Daudé]

Hyper-V is available on 64-bit versions of Windows,
do not try to build its support on 32-bit versions.

Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
---
Since v1: Handle MinGW automatic detection (Thomas, Stefan)
---
 configure | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index 4231d56bcc0..91c5d781845 100755
--- a/configure
+++ b/configure
@@ -2980,7 +2980,10 @@ fi
 
 ##########################################
 # Windows Hypervisor Platform accelerator (WHPX) check
-if test "$whpx" != "no" ; then
+if test "$whpx" = "yes" && test "$ARCH" != "x86_64"; then
+  error_exit "WHPX requires 64-bit host"
+fi
+if test "$whpx" != "no" && test "$ARCH" = "x86_64"; then
     if check_include "WinHvPlatform.h" && check_include "WinHvEmulation.h"; 
then
         whpx="yes"
     else
-- 
2.26.2