# HG changeset patch
# User diego
# Date 1053647557 0
# Node ID 6d8b61cc70033f3bbf466df8bb6a41e38f772020
# Parent  0318353548d4066cc53c5c710037b29b52178e1a
Cygwin and MinGW should use default codecs directories, --with-codecsdir is
available for setting it differently.

diff -r 0318353548d4 -r 6d8b61cc7003 configure
--- 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