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 <rka...@virtuozzo.com>
---
configure | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
index 0a3c6a72c3..fc6ce0065d 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
--
2.19.1
