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 /scripts/build/kernel_linux.sh | |
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 'scripts/build/kernel_linux.sh')
-rw-r--r-- | scripts/build/kernel_linux.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build/kernel_linux.sh b/scripts/build/kernel_linux.sh index fd50d23..8c0c7ef 100644 --- a/scripts/build/kernel_linux.sh +++ b/scripts/build/kernel_linux.sh @@ -117,6 +117,8 @@ do_kernel_install() { INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr" \ ${V_OPT} \ headers_check 2>&1 |CT_DoLog ALL + + find "${CT_SYSROOT_DIR}" -type f -name '.check*' -exec rm {} \; } # Install kernel headers from oldish Mazur's sanitised headers. |