gnu: gcc-core-mesboot1: Improve kernel headers fetch.

This is a follow-up to 431298f758c89eb6950dde41766497f1bc45c085 and
can be merged with it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

1 files changed, 5 insertions, 3 deletions

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index c6ffa8d20b2..8bedce40584 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -1434,9 +1434,11 @@ ac_cv_c_float_format='IEEE (little-endian)'
                      (gcc (dirname (dirname gcc-lib)))
                      (libc.a (search-input-file inputs "/lib/libc.a"))
                      (glibc (dirname (dirname libc.a)))
-                     (ioctl.h (search-input-file %build-inputs
-                                                 "/include/asm/ioctl.h"))
-                     (kernel-headers-include (dirname (dirname ioctl.h))))
+                     (kernel-headers
+                      (search-input-directory inputs #$(if (system-hurd?)
+                                                           "include/mach"
+                                                           "include/linux")))
+                     (kernel-headers-include (dirname kernel-headers)))
                 (setenv "CONFIG_SHELL" shell)
                 (setenv "C_INCLUDE_PATH" (string-append
                                           gcc "/lib/gcc-lib/i686-unknown-linux-gnu/2.95.3/include"