changeset 9408:647fa464f914

add gentoo default real dirs
author atmos4
date Wed, 12 Feb 2003 16:50:31 +0000
parents 0b80c5d8d380
children 4518182fb630
files configure
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
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;