Cross Reference: createImage.sh
xref: /hets/HolLight/OcamlTools/imageTools/createImage.sh
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
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