Deleting misprinting

diff --git a/config_files/libxml2-2.6.27.sh b/config_files/libxml2-2.6.27.sh
index 26365d2274bf9bd06012c9035b31d6b59480cc70..4aff22b9413a01955b52e57faf0c63b48c8fca2a 100755 (executable)
--- a/config_files/libxml2-2.6.27.sh
+++ b/config_files/libxml2-2.6.27.sh
@@ -85,7 +85,7 @@ export INSTALL_WORK=$2;
 export SOURCE_DIR=$3;
 export INSTALL_ROOT=$4;
 export PRODUCT_SEQUENCE=$5;
-if [ $# == 6 ] ; then export PRODUCT_TYPE=$6 ; else export PRODUCT_TYPE="metis" ; fi
+if [ $# == 6 ] ; then export PRODUCT_TYPE=$6 ; else export PRODUCT_TYPE="libxml2" ; fi
 export PRODUCT="libxml2-2.6.27"
 export PRODUCT_DIR=${INSTALL_ROOT}/${PRODUCT}
 export PRODUCT_WORK=${INSTALL_WORK}/${PRODUCT}