# HG changeset patch
# User diego
# Date 1053638859 0
# Node ID f80f680d6169be2ede719494ff168dc1920cdf8e
# Parent  b252d1b6829e6c63cf0de7a60e9daf952bf2b383
One / too many, noticed by Andreas Hess <jaska@gmx.net>.

diff -r b252d1b6829e -r f80f680d6169 configure
--- a/configure	Thu May 22 16:12:54 2003 +0000
+++ b/configure	Thu May 22 21:27:39 2003 +0000
@@ -4310,7 +4310,7 @@
       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
+	  /usr/local/lib/RealPlayer{9,8,}/Codecs /opt/RealPlayer{9,8,}/{Real/,}Codecs ; do
           if test -d "$I" ; then
             _reallibdir="$I"
             break