[Devil-linux-develop] Host kernel too recent/build kernel too old

[Arnaud Gomes-do-V. <Arn...@ir...>]

Hi,

I have not been able to find any reference to this problem. When I try
to build Devil Linux (rel-1-0-patches branch if this matters) on a box
with a recent kernel, I get the following error when configuring for
glibc:

checking installed Linux kernel header files... 2.0.10 or later
checking for kernel header at least 2.4.24-vs1.23... too old!
configure: error: *** The available kernel headers are older than the requested
*** compatible kernel version
ERROR
/data/build/scripts/glibc build failed
make: *** [build] Error 1
root:/data/build#

Is there any workaround except rebooting the build box with a recent
kernel?

-- 
Arnaud