# HG changeset patch
# User atmos4
# Date 1045068631 0
# Node ID 647fa464f91415903be9d93ee2dd8fd37ed98e46
# Parent  0b80c5d8d380caad64d36c028e1d013144869bed
add gentoo default real dirs

diff -r 0b80c5d8d380 -r 647fa464f914 configure
--- a/configure	Wed Feb 12 16:45:34 2003 +0000
+++ b/configure	Wed Feb 12 16:50:31 2003 +0000
@@ -3965,7 +3965,8 @@
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
 	for I in $_libdir/real /usr/lib/real /usr/lib/RealPlayer*/Codecs \
-          /usr/local/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs; do
+          /usr/local/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs \
+          /opt/RealPlayer*/Codecs; do
           if test -d "$I" ; then
             _reallibdir="$I"
             break;