cronjob.sh revision 683aaf604e9a74f915b38b8082fa9f4e4fec2f5a
GHCRTS='-H300m -M1g'
export PATH
export MAKE
export HETS_LIB
export GHCRTS
. ../cronjob.sh
# set BDBDIR for a full uni installation
# makeUni
# makeProgramatica
# copy cronjob scripts for the next night
cd Basic
cd ..
cd ../..
fgrep \*\*\* ../../../isaHC2.log
cd ../..
cd ..
cd ../../../HetCATS
cd ..
cd ../..
cd ..
cd $destdir
\rm -f HetCATS.tar.gz
cd $HETS_LIB