diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index f6a51e0765..244bc7acd5 100755 --- a/configure +++ b/configure @@ -5790,8 +5790,8 @@ 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 - tools="elf2dmp $tools" + if [ "$curl" = "yes" ]; then + tools="elf2dmp\$(EXESUF) $tools" fi fi if test "$softmmu" = yes ; then |