diff --git a/configure b/configure index 2236c00c39cec987d3b0f5d026dbea447511e855..d3cd193c77a660e37526c7a7ce93507afb6032ad 100755 --- a/configure +++ b/configure @@ -1831,7 +1831,11 @@ case $target_os in enabled shared || check_cflags -mdynamic-no-pic ;; mingw32*) - target_os=mingw32 + if test target_os = "mingw32ce"; then + disable network + else + target_os=mingw32 + fi LIBTARGET=i386 if enabled x86_64; then enable malloc_aligned