-#!/bin/bash
+#!/bin/bash
#echo dir1 = `dirname $0`
#echo dir2 = ${PWD}
-#env_script=${PWD}/env_products.sh
-env_script=/dn40/PRODUCTS/salome/6.x/opt/MANDRIVA.2010.64/6.6.0/env_products.sh
+env_script=${PWD}/env_products.sh
if [ -e $env_script ] ; then
echo