Patch for 5.1.4 (for Debian 5.0 Lenny 64bit)

diff --git a/config_files/common.sh b/config_files/common.sh
index f48484d15914f4686fd330d11c79937ccb606fa0..6cdd55a63be38d2f98cc5f1c6826ceaab7200176 100755 (executable)
--- a/config_files/common.sh
+++ b/config_files/common.sh
@@ -808,7 +808,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]/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