Update version of LIBBATCH up to 1.3.1

[tools/install.git] / config_files / DISTENE.sh

diff --git a/config_files/DISTENE.sh b/config_files/DISTENE.sh
index 4ab392186ef8a3475722b3b1fdce047f375261e5..8dc34bacc67d29ce00f6dc3979524198d73ae631 100755 (executable)
--- a/config_files/DISTENE.sh
+++ b/config_files/DISTENE.sh
@@ -38,7 +38,7 @@ cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <<EOF
 export DISTENE_HOME=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
 export BLSURFHOME=\${DISTENE_HOME}/Tools/BLSurf-${BLSURF_VERSION}
 export LD_LIBRARY_PATH=\${BLSURFHOME}/lib:\${LD_LIBRARY_PATH} 
-export PATH=\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D41_VERSION}/bin:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D42_VERSION}/bin:\$PATH
+export PATH=\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D41_VERSION}:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D42_VERSION}:\$PATH
 ##
 EOF
 (test -w ${PRODUCT_DIR} && cp ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh ${PRODUCT_DIR})