OcamlTools/imageTools/makeCheckpoint.sh

aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6Jonathan von Schroederwhile [ ! -e /tmp/exportml_done ]
aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6Jonathan von Schroeder do
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroeder   sleep 0.1
aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6Jonathan von Schroederdone
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroederecho "------------------------------ Creating Checkpoint"
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/dmtcp/bin/dmtcp_command --quiet --bcheckpoint
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroederecho "----------------------------- Moving Checkpoint"
cd65ccca369b25f92efae1ee9e774459deaf500aJonathan von SchroederDISTR=`cat /etc/*-release | grep DISTRIB_RELEASE | cut -d= -f2`
cd65ccca369b25f92efae1ee9e774459deaf500aJonathan von SchroederARCH=`uname -m`
c18150047a08abe95e9495468ef8d2124d43dbf8Jonathan von Schroedermv ckpt_ocamlrun_* hol_light_$DISTR\_$ARCH.dmtcp
c18150047a08abe95e9495468ef8d2124d43dbf8Jonathan von Schroederrm dmtcp_restart_script*.sh
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von Schroederecho "------------------------------ Killing Process & Quitting Coordinator"
6ad9bcb1be234d475541a44c750ecf6f57294dceJonathan von SchroederimageTools/dmtcp/bin/dmtcp_command --quiet --quit