changeset 6422:f23f44c99026

realplayer8 installs at /usr/local/RealPlayer8 by default...
author arpi
date Fri, 14 Jun 2002 00:35:06 +0000
parents 9d00332ca943
children 13cf65db9ebc
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Thu Jun 13 22:44:28 2002 +0000
+++ b/configure	Fri Jun 14 00:35:06 2002 +0000
@@ -3327,7 +3327,7 @@
     fi
     if test "$_real" = yes ; then
       if test -z "$_reallibdir" ; then
-	for I in /usr/lib/real /usr/lib/RealPlayer*/Codecs /usr/local/lib/RealPlayer*/Codecs; do
+	for I in /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;