Print an error message if a Checkpoint number was defined, but no checkpoint file...
authorRon Dreslinski <rdreslin@umich.edu>
Thu, 24 Feb 2005 16:34:58 +0000 (11:34 -0500)
committerRon Dreslinski <rdreslin@umich.edu>
Thu, 24 Feb 2005 16:34:58 +0000 (11:34 -0500)
commit4de9689135b3077e8fe9a935127285512465d7c2
tree7ceaf9b0a8d8716b90a9c6fe93a98186a6956de7
parentb78b6341078624cf476e84475b088798609b4cef
Print an error message if a Checkpoint number was defined, but no checkpoint file was sourced

--HG--
extra : convert_revision : 302c1d6720c0ee24fcfc266cd99f501af734a452