diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-09-10 21:40:23 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-09-10 21:40:23 (GMT) |
| commit | 7a0e770be1f1ed93323edfe93bd0a326c6ad886c (patch) | |
| tree | 00207b691365b0b884c4713510aa236514dcf8cf /config/kernel.in | |
| parent | a3c9e9bacf9023dc6f6bde467925a4a60e06e8b3 (diff) | |
Remove the now really obsolete Linux kernel headers copy and sanitised.
Remove orphanned Linux kernel patchsets.
Initiate a kernel build scripts directory. Move the Linux kernel build script there.
/trunk/scripts/build/kernel/linux.sh | 146 11 135 0 +++---------------------------------------
/trunk/scripts/crosstool.sh | 2 1 1 0
/trunk/steps.mk | 1 0 1 0 -
/trunk/config/kernel/linux.in | 49 0 49 0 --------------
/trunk/config/kernel.in | 4 4 0 0 +
5 files changed, 16 insertions(+), 186 deletions(-)
Diffstat (limited to 'config/kernel.in')
| -rw-r--r-- | config/kernel.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in index 44eebe7..607917d 100644 --- a/config/kernel.in +++ b/config/kernel.in @@ -2,6 +2,10 @@ menu "Kernel" +config KERNEL + string + default "linux" if KERNEL_LINUX + choice bool prompt "Target OS" |