diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-22 20:46:07 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-22 20:46:07 (GMT) |
commit | cb0d1fef8c7f9a9bfe880554c185eb14d52ebbd6 (patch) | |
tree | 9e893e2512e7edf520cae961757c9f88e99bbd77 /licenses.d/lgpl.txt | |
parent | 0c28252021d106c3fb0dba9ab9e5294432a92c98 (diff) |
Implement a restart facility.
If you select to debug ct-ng, then you have two new options:
- DEBUG_CT_PAUSE_STEPS : pause between every steps,
- DEBUG_CT_SAVE_STEPS : save state between every steps.
To restart a saved state, just set the RESTART make variable when calling make:
- make RESTART=<step_name>
Diffstat (limited to 'licenses.d/lgpl.txt')
0 files changed, 0 insertions, 0 deletions