config/kernel.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 61 |
1207acb66003
|
child 446 |
d205527c5e01 |
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>