diff options
| -rwxr-xr-x | configure | 10 |
1 files changed, 0 insertions, 10 deletions
@@ -4153,11 +4153,6 @@ fi 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 @@ if test "$_real" = auto ; then 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 |