diff options
author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2022-05-14 12:00:00 +0000 |
---|---|---|
committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2022-05-14 12:00:00 +0000 |
commit | 7a32e42b96abe43e814575be9aced505bc86c41e (patch) | |
tree | 08ebaeca6d00f8c1ae32c246ce3f6ade1a5bcc1e /pkgs/tools/misc/grub | |
parent | d2fc6856824cb87742177eefc8dd534bdb6c3439 (diff) |
grub2: separateDebugInfo = true
Diffstat (limited to 'pkgs/tools/misc/grub')
-rw-r--r-- | pkgs/tools/misc/grub/2.0x.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/tools/misc/grub/2.0x.nix b/pkgs/tools/misc/grub/2.0x.nix index 745689e312fec..f45116ddf2278 100644 --- a/pkgs/tools/misc/grub/2.0x.nix +++ b/pkgs/tools/misc/grub/2.0x.nix @@ -90,6 +90,8 @@ stdenv.mkDerivation rec { hardeningDisable = [ "all" ]; + separateDebugInfo = true; + # Work around a bug in the generated flex lexer (upstream flex bug?) NIX_CFLAGS_COMPILE = "-Wno-error"; |