03/03: gnu: efibootmgr: Fix build failure with GCC7.

[guix-commits]

mbakke pushed a commit to branch core-updates
in repository guix.

commit b9a30e0d37525e714a232318c26c7e4ef8250dc1
Author: Marius Bakke <address@hidden>
Date:   Fri Mar 1 17:41:43 2019 +0100

    gnu: efibootmgr: Fix build failure with GCC7.
    
    * gnu/packages/linux.scm (efibootmgr)[arguments]: Set C_INCLUDE_PATH.
---
 gnu/packages/linux.scm | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index ed092e1..6049b09 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -4142,7 +4142,12 @@ interface to the variable facility of UEFI boot 
firmware.")
                           ;; installed (known as OS_VENDOR in the code).
                           ;; GRUB overrides this, as such it's only used if
                           ;; nothing else is specified on the command line.
-                          "EFIDIR=gnu")
+                          "EFIDIR=gnu"
+                          ;; Treat kernel headers as system headers to prevent
+                          ;; warnings about conflicting types.
+                          (string-append "C_INCLUDE_PATH="
+                                         (assoc-ref %build-inputs 
"kernel-headers")
+                                         "/include"))
        #:phases (modify-phases %standard-phases (delete 'configure))))
     (native-inputs
      `(("pkg-config" ,pkg-config)))