changeset 10155:6d8b61cc7003

Cygwin and MinGW should use default codecs directories, --with-codecsdir is available for setting it differently.
author diego
date Thu, 22 May 2003 23:52:37 +0000
parents 0318353548d4
children eafe9a587896
files configure
diffstat 1 files changed, 0 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Thu May 22 21:38:58 2003 +0000
+++ b/configure	Thu May 22 23:52:37 2003 +0000
@@ -4153,11 +4153,6 @@
 
 if test "$_win32" != no ; then
     if test -z "$_win32libdir" ; then
-      if cygwin || mingw32 ; then
-        _win32libdir="codecs"
-      fi
-    fi
-    if test -z "$_win32libdir" ; then
       for I in "$_libdir/codecs" "$_libdir/win32" /usr/local/lib/win32 /usr/lib/win32 ; do
         if test -d "$I" ; then
           _win32libdir="$I"
@@ -4303,11 +4298,6 @@
     fi
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
-	if cygwin || mingw32 ; then
-	  _reallibdir="codecs"
-	fi
-      fi
-      if test -z "$_reallibdir" ; then
 	for I in "$_libdir/codecs" "$_libdir/real" /usr/lib/real \
 	  /usr/lib/RealPlayer{9,8,}/Codecs /usr/local/RealPlayer{9,8,}/Codecs \
 	  /usr/local/lib/RealPlayer{9,8,}/Codecs /opt/RealPlayer{9,8,}/{Real/,}Codecs ; do