mbakke pushed a commit to branch core-updates
in repository guix.
commit 87d3e94d82111081a40ed2bea76e50575967af30
Author: Marius Bakke <[email protected]>
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)))
