Update for new version libxml

diff --git a/config_files/common.sh b/config_files/common.sh
index ab9a3e45eecdb8b1b3ff0be7b6e28d1d4873eaaf..197d87ee35f759ca8d8b2ae389eeeef3e289ca75 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -818,7 +818,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-[0-9]\.[0-9]\.[0-9][0-9]/lib% \1${libxmldir}%g" $l > $l"_"
+    sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*libxml2-[0-9]\.[0-9]\.[0-9]/lib% \1${libxmldir}%g" $l > $l"_"
     mv -f $l"_" $l     
     sed -e "s%[[:space:]]\(-L\)\?[^[:space:]]*libxml2/lib% \1${libxmldir}%g" $l > $l"_"
     mv -f $l"_" $l