diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2021-09-20 09:12:01 +0000 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-09-20 09:12:01 +0000 |
| commit | 650e85d85514c5fae06adf97ae615643a41bbbd8 (patch) | |
| tree | 4029c3065343c2b971e667f5beba613832c8f3f4 /gnu/packages/wxwidgets.scm | |
| parent | b452fe87e0c6e7634a2cb44274fa46832c763b40 (diff) | |
gnu: grub: Strip debug symbols.
This is a follow-up of 71aa29911cf3f4e6db5f9bff9237308b5f93283d. 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.
Diffstat (limited to 'gnu/packages/wxwidgets.scm')
0 files changed, 0 insertions, 0 deletions