sed -e 's%setenv ENV_FOR_LAUNCH 1%setenv ENV_FOR_LAUNCH 0%' ${install_work}/_$CSHRC > ${install_root}/env_build.csh
sed -e 's%export ENV_FOR_LAUNCH=1%export ENV_FOR_LAUNCH=0%' ${install_work}/_$SHRC > ${install_root}/env_build.sh
-#test -e ${install_root}/env_products.csh && mv ${install_root}/env_products.csh ${install_root}/env_products.csh_`date +%F_%T`
cp -f ${install_work}/_$CSHRC ${install_root}/env_products.csh
-#test -e ${install_root}/env_products.sh && mv ${install_root}/env_products.sh ${install_root}/env_products.sh_`date +%F_%T`
cp -f ${install_work}/_$SHRC ${install_root}/env_products.sh
rm -f ${install_work}/_$SHRC ${install_work}/_$CSHRC
### !!! copying build.csh and build.sh scripts
if [ -e ./build.csh ]; then
- #test -e ${install_root}/build.csh && mv ${install_root}/build.csh ${install_root}/build.csh_`date +%F_%T`
cp -f ./build.csh ${install_root}
fi
if [ -e ./build.sh ]; then
- #test -e ${install_root}/build.sh && mv ${install_root}/build.sh ${install_root}/build.sh_`date +%F_%T`
cp -f ./build.sh ${install_root}
fi
### !!! copying release notes
product_sequence="$4"; installed_products="$5"; product_type=$6
env_file=${product_dir}/env_${product_type}.sh
if [ -f ${env_file} ] ; then
-# cp -f ${env_file} ${install_work}
cp -f ${env_file} ${install_work}/_env_${product_type}.sh
make_env ${install_root} ${install_work} "${product_sequence}" "${installed_products}"
source ${install_work}/$SHRC