*** empty log message ***

diff --git a/config_files/common.sh b/config_files/common.sh
index 2f2dc1e53320e00a5c602526e657f1b2d2649e24..b82f97dcc05e3fd20ab5e294d88758bdc2d3eeb1 100755 (executable)
--- 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