03/22: gnu: efibootmgr: Remove obsolete workaround.

[guix-commits]

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

commit 87d3e94d82111081a40ed2bea76e50575967af30
Author: Marius Bakke <address@hidden>
AuthorDate: Sat Feb 15 15:48:27 2020 +0100

    gnu: efibootmgr: Remove obsolete workaround.
    
    * gnu/packages/linux.scm (efibootmgr)[arguments]: Don't set C_INCLUDE_PATH 
in
     #:configure-flags.
---
 gnu/packages/linux.scm | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 2bf7b4b..e9a6675 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -5095,12 +5095,7 @@ 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"
-                          ;; Treat kernel headers as system headers to prevent
-                          ;; warnings about conflicting types.
-                          (string-append "C_INCLUDE_PATH="
-                                         (assoc-ref %build-inputs 
"kernel-headers")
-                                         "/include"))
+                          "EFIDIR=gnu")
        #:phases (modify-phases %standard-phases (delete 'configure))))
     (native-inputs
      `(("pkg-config" ,pkg-config)))