.settings/org.eclipse.cdt.core.prefs
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue May 22 20:46:07 2007 +0000 (2007-05-22)
changeset 121 82e69d88119b
child 122 7774ae1174ed
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>
     1 #Sat Feb 17 16:17:18 CET 2007
     2 eclipse.preferences.version=1
     3 indexerId=org.eclipse.cdt.core.fastIndexer