diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-17 16:22:51 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-17 16:22:51 (GMT) |
| commit | 8d3f0a8781cc25e75db3db4a9195816e7d3da902 (patch) | |
| tree | 12a82d97590ca0d646ab8df9ddcadc74f547defd /config/global.in | |
| parent | 721da92158c37cd044ccccd3b37d1e8d0c183f39 (diff) | |
Debug facilities:
- add a framework to easily add new ones
- add gdb as a first debug facility
- add patches for gdb
After the kernel checked its installed headers, clean up the mess of .checked.* files.
Reorder scripts/crosstool.sh:
- dump the configuration early
- renice early
- get info about build system early, when setting up the environment
- when in cross or native, the host tools are those of the build system, and only in this case
- elapsed time calculations moved to scripts/functions
Remove handling of the color: it's gone once and for all.
Update tools/addToolVersion.sh:
- handle debug facilities
- commonalise some code
- remove dead tools (cygwin, tcc)
Point to my address for bug reports.
Diffstat (limited to 'config/global.in')
| -rw-r--r-- | config/global.in | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/config/global.in b/config/global.in index bfe3863..fda034d 100644 --- a/config/global.in +++ b/config/global.in @@ -262,18 +262,6 @@ config LOG_PROGRESS_BAR WARNING! Very CPU intensive! If you have spare CPU, then you can use it, otherwise, refrain from using it. -config LOG_USE_COLORS - bool - prompt "Use colors for logging to console" - default n - help - Use colors to highlight important messages. - ERROR: bright red - WARN : bright yellow - INFO : bright green - EXTRA: dim green - DEBUG: dim white - config LOG_TO_FILE bool prompt "Log to a file" |