From: Roman Kagan <[email protected]> elf2dmp is keyed on "$posix" = "yes", but "$posix" doesn't seem to be set anywhere.
The original intent was presumably to skip building it on Windows, so check for "$mingw32" = "no" instead. Signed-off-by: Roman Kagan <[email protected]> Message-Id: <[email protected]> Signed-off-by: Paolo Bonzini <[email protected]> --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 0a3c6a7..fc6ce00 100755 --- a/configure +++ b/configure @@ -5722,7 +5722,7 @@ if test "$want_tools" = "yes" ; then if [ "$ivshmem" = "yes" ]; then tools="ivshmem-client\$(EXESUF) ivshmem-server\$(EXESUF) $tools" fi - if [ "$posix" = "yes" ] && [ "$curl" = "yes" ]; then + if [ "$mingw32" = "no" ] && [ "$curl" = "yes" ]; then tools="elf2dmp $tools" fi fi -- 1.8.3.1
