Cross Reference: createImage.sh
xref: /hets/HolLight/OcamlTools/imageTools/createImage.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
createImage.sh revision 08c52c0cec0842d53e51cfbedae2c0e0d6c4e641
rm -f /tmp/exportml_done
imageTools/dmtcp/bin/dmtcp_coordinator --background
imageTools/makeCheckpoint.sh &
imageTools/dmtcp/bin/dmtcp_checkpoint --quiet ocaml -w a -init exportTools/export.ml

Indexes created Tue Jul 24 14:28:13 CEST 2018