#########################################################
# set environment
#########################################################
-set env_script=`dirname $0`/env_products.csh
+set env_script=`dirname $0`/env_build.csh
+if ( ! -e $env_script ) then
+ set env_script=`dirname $0`/env_products.csh
+endif
if ( -e $env_script ) then
echo "Setting environment"
source $env_script