changeset 10531:bee0c132863a

_win32libdir (not _libdir/win32) should be searched after other locations.
author diego
date Tue, 05 Aug 2003 23:53:06 +0000
parents b2616a04791a
children c8197c9bac22
files configure
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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