diff --git a/configure b/configure index 56606aaae6344fb553adf53e5e1b69348269fb28..000cd2a87571b03edcd8d2850d8c7c59ebae8281 100755 --- a/configure +++ b/configure @@ -1497,7 +1497,7 @@ case $target_os in disable $INDEV_LIST $OUTDEV_LIST network_extralibs="-lsocket" EXESUF=".exe" - objformat="win32" + objformat="coff" enable dos_paths ;; linux)