diff options
Diffstat (limited to 'pkgs/tools')
| -rw-r--r-- | pkgs/tools/misc/grub/2.0x.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/tools/misc/grub/2.0x.nix b/pkgs/tools/misc/grub/2.0x.nix index ae3fe1487642..17cd86014dd4 100644 --- a/pkgs/tools/misc/grub/2.0x.nix +++ b/pkgs/tools/misc/grub/2.0x.nix @@ -68,6 +68,10 @@ stdenv.mkDerivation rec { doCheck = false; enableParallelBuilding = true; + postInstall = '' + paxmark pms $out/sbin/grub-{probe,bios-setup} + ''; + meta = { description = "GNU GRUB, the Grand Unified Boot Loader (2.x beta)"; |