Fix pb with Hexotic environment

diff --git a/config_files/DISTENE.sh b/config_files/DISTENE.sh
index 12a5af424c670f1681b520de5bce5f450ab3b933..1226a600c50add9cfea1fdde18ea68ce98204821 100755 (executable)
--- a/config_files/DISTENE.sh
+++ b/config_files/DISTENE.sh
@@ -41,7 +41,7 @@ export DISTENE_HOME=\${INST_ROOT}/${SINGLE_DIR:-${PRODUCT}}
 export BLSURFHOME=\${DISTENE_HOME}/Tools/BLSurf-${BLSURF_VERSION}
 export HEXOTICHOME=\${DISTENE_HOME}/Tools/Hexotic-V${HEXOTIC_VERSION}
 export LD_LIBRARY_PATH=\${BLSURFHOME}/lib:\${LD_LIBRARY_PATH} 
-export PATH=\${HEXOTICHOME}\bin:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D41_VERSION}:\${DISTENE_HOME}/Tools/TetMesh-GHS3D${GHS3D42_VERSION}:\${PATH}
+export PATH=\${HEXOTICHOME}/bin:\${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})