config/debug.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Mon Jan 12 18:57:45 2009 +0000 (2009-01-12)
changeset 1135 0469ad99098f
child 1870 a4c4e51aa541
permissions -rw-r--r--
Fix initialising the workspace:
- don't remove directories in the background:
- it is highly dangerous
- it can lead to data loss in case of frequent stop/restart with a slow disk
- log actions with CT_DoExecLog as much as possible, instead of using |CT_DoLog

/trunk/scripts/crosstool.sh | 100 43 57 0 ++++++++++++++++++++++-----------------------------
1 file changed, 43 insertions(+), 57 deletions(-)
     1 menu "Debug facilities"
     2 source config.gen/debug.in
     3 endmenu