makeCheckpoint.sh revision 08c52c0cec0842d53e51cfbedae2c0e0d6c4e641
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maederecho "------------------------------ Creating Checkpoint"
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederimageTools/dmtcp/bin/dmtcp_command --quiet --bcheckpoint
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maederecho "----------------------------- Moving Checkpoint"
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederDISTR=`cat /etc/*-release | grep DISTRIB_RELEASE | cut -d= -f2`
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maedermv -f ckpt_ocamlrun_* hol_light_$DISTR\_$ARCH.dmtcp
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maederecho "------------------------------ Killing Process & Quitting Coordinator"