# HG changeset patch
# User atmos4
# Date 1024132878 0
# Node ID 20297bb8aab47b23d1879bb11583a212c3adb9dd
# Parent  bf1fec03a0653555ed7de7f74ca20a51d7c711c5
Also check in LIBDIR/real for the codecs.

diff -r bf1fec03a065 -r 20297bb8aab4 configure
--- a/configure	Sat Jun 15 09:11:33 2002 +0000
+++ b/configure	Sat Jun 15 09:21:18 2002 +0000
@@ -3323,7 +3323,8 @@
     fi
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
-	for I in /usr/lib/real /usr/lib/RealPlayer*/Codecs /usr/local/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs; do
+	for I in $_libdir/real /usr/lib/real /usr/lib/RealPlayer*/Codecs \
+          /usr/local/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs; do
           if test -d "$I" ; then
             _reallibdir="$I"
             break;