diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 3 insertions, 9 deletions
@@ -495,7 +495,6 @@ _priority=no def_dos_paths="#define HAVE_DOS_PATHS 0" def_stream_cache="#define CONFIG_STREAM_CACHE 1" def_priority="#undef CONFIG_PRIORITY" -def_pthread_cache="#undef PTHREAD_CACHE" need_shmem=yes _build_man=auto for ac_option do @@ -1453,13 +1452,9 @@ else fi echores "$_pthreads" -if cygwin ; then - if test "$_pthreads" = yes ; then - def_pthread_cache="#define PTHREAD_CACHE 1" - else - _stream_cache=no - def_stream_cache="#undef CONFIG_STREAM_CACHE" - fi +if cygwin || mingw32 ; then + _stream_cache=no + def_stream_cache="#undef CONFIG_STREAM_CACHE" fi echocheck "rpath" @@ -3239,7 +3234,6 @@ $def_priority /* configurable options */ $def_stream_cache -$def_pthread_cache /* CPU stuff */ |