config/config.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Tue May 22 20:46:07 2007 +0000 (2007-05-22) |
| changeset 121 |
82e69d88119b |
| parent 41 |
fd6ad5721f77
|
| child 148 |
567f1673d59d |
| permissions |
-rw-r--r-- |
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>