On 23/11/18 10:01, Roman Kagan wrote: > 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 >
Queued, thanks. Paolo