From a8d18a3524af1687cf4c9674ff83e7b8d1614f81 Mon Sep 17 00:00:00 2001 From: maintenance team Date: Thu, 28 Feb 2008 12:37:01 +0000 Subject: [PATCH] *** empty log message *** --- config_files/common.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config_files/common.sh b/config_files/common.sh index 2f2dc1e..b82f97d 100755 --- a/config_files/common.sh +++ b/config_files/common.sh @@ -800,7 +800,7 @@ if [ "$l" != "X" ] ; then # 15. process libxml dependencies libxmldir=`printenv LIBXML_DIR`/lib if [ ! -d ${libxmldir} ] ; then libxmldir=`printenv LIBXML_DIR`/lib ; fi - sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*libxml2[^[:space:]]*/lib% \1${libxmldir}%g" $l > $l"_" + sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*libxml2-[0-9]\.[0-9]\.[0-9][0-9]/lib% \1${libxmldir}%g" $l > $l"_" mv -f $l"_" $l # 16. process metis dependencies -- 2.39.2