gnu: grub: Strip debug symbols.
This is a follow-up of 71aa29911c
. Grub does not
support modules stripped with --strip-unneeded but supports the --strip-debug
option.
* gnu/packages/bootloaders.scm (grub)[arguments]<#:strip-binaries>: Set to
true and use ...
<#:strip-flags>: ... to pass --strip-debug instead of --strip-unneeded.
master
parent
b452fe87e0
commit
650e85d855
|
@ -114,8 +114,8 @@
|
|||
;; calling the ‘true’ binary instead. Python is only needed during
|
||||
;; bootstrapping (for genptl.py), not when building from a release.
|
||||
(list "PYTHON=true")
|
||||
;; Grub fails to load stripped modules.
|
||||
#:strip-binaries? #f
|
||||
;; Grub fails to load modules stripped with --strip-unneeded.
|
||||
#:strip-flags '("--strip-debug" "--enable-deterministic-archives")
|
||||
#:phases (modify-phases %standard-phases
|
||||
(add-after 'unpack 'patch-stuff
|
||||
(lambda* (#:key native-inputs inputs #:allow-other-keys)
|
||||
|
|
Reference in New Issue