# HG changeset patch
# User diego
# Date 1060127586 0
# Node ID bee0c132863a632ce4403b613419d1b3dd4f14a8
# Parent  b2616a04791a34177396ea89ccc82e00e0f89ced
_win32libdir (not _libdir/win32) should be searched after other locations.

diff -r b2616a04791a -r bee0c132863a configure
--- a/configure	Tue Aug 05 23:07:07 2003 +0000
+++ b/configure	Tue Aug 05 23:53:06 2003 +0000
@@ -4428,9 +4428,10 @@
     fi
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
-	for I in "$_libdir/codecs" "$_libdir/real" "$_libdir/win32" /usr/lib/real \
+	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
+	  /usr/local/lib/RealPlayer{9,8,}/Codecs /opt/RealPlayer{9,8,}/{Real/,}Codecs \
+	  "$_win32libdir"; do
           if test -d "$I" ; then
             _reallibdir="$I"
             break