diff options
author | Artturin <Artturin@artturin.com> | 2024-05-03 01:23:01 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-03 01:23:01 +0300 |
commit | f8de5fbf80132439f1ff099db828bc01be781879 (patch) | |
tree | 377345edb79a96604b605b2752b093da249b5aa9 | |
parent | 9aa4c30e88d1f442113a1f46291095b937e06d65 (diff) | |
parent | 85ed61f0b76f12f944d445c019fd7bfec3b3da85 (diff) |
Merge pull request #308594 from Artturin/grubsetplat
grub2_xen: set to `x86_64-linux` and `i686-linux` only
-rw-r--r-- | pkgs/tools/misc/grub/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/misc/grub/default.nix b/pkgs/tools/misc/grub/default.nix index 8f1ff2625d36..f92f765a6fab 100644 --- a/pkgs/tools/misc/grub/default.nix +++ b/pkgs/tools/misc/grub/default.nix @@ -207,7 +207,7 @@ stdenv.mkDerivation rec { license = licenses.gpl3Plus; - platforms = platforms.gnu ++ platforms.linux; + platforms = if xenSupport then [ "x86_64-linux" "i686-linux" ] else platforms.gnu ++ platforms.linux; maintainers = [ maintainers.samueldr ]; }; |