From 80fe75a552d89876026a8513743c7e17fc651fd9 Mon Sep 17 00:00:00 2001 From: inv Date: Fri, 28 Oct 2011 15:16:55 +0000 Subject: [PATCH] Update DISTENE tools: BLSurf 3.1, Hexotic 1.0 --- config_files/DISTENE.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/config_files/DISTENE.sh b/config_files/DISTENE.sh index 8dc34ba..c019507 100755 --- a/config_files/DISTENE.sh +++ b/config_files/DISTENE.sh @@ -18,11 +18,13 @@ if test `uname -m` = "x86_64" ; then GHS3D41_VERSION=4.1_64 GHS3D42_VERSION=4.2_64 -BLSURF_VERSION=3.0_64 +BLSURF_VERSION=3.1_64 +HEXOTIC_VERSION=1.0_64 else GHS3D41_VERSION=4.1_32 GHS3D42_VERSION=4.2_32 -BLSURF_VERSION=3.0_32 +BLSURF_VERSION=3.1_32 +HEXOTIC_VERSION=1.0_32 fi @@ -37,8 +39,9 @@ cat > ${INSTALL_WORK}/env_${PRODUCT_TYPE}.sh <