diff configure @ 9408:647fa464f914

add gentoo default real dirs
author atmos4
date Wed, 12 Feb 2003 16:50:31 +0000
parents d709935c512d
children d6cf3c7c6a4f
line wrap: on
line diff
--- 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;