path: root/config/
diff options
authorYann E. MORIN" <>2007-05-17 16:22:51 (GMT)
committerYann E. MORIN" <>2007-05-17 16:22:51 (GMT)
commit8d3f0a8781cc25e75db3db4a9195816e7d3da902 (patch)
tree12a82d97590ca0d646ab8df9ddcadc74f547defd /config/
parent721da92158c37cd044ccccd3b37d1e8d0c183f39 (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/ - 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/ - handle debug facilities - commonalise some code - remove dead tools (cygwin, tcc) Point to my address for bug reports.
Diffstat (limited to 'config/')
1 files changed, 1 insertions, 0 deletions
diff --git a/config/ b/config/
index c858b3b..a467af5 100644
--- a/config/
+++ b/config/
@@ -5,3 +5,4 @@ source config/
source config/
source config/
source config/
+source config/