diff options
author | Artturin <Artturin@artturin.com> | 2024-05-02 22:05:45 +0300 |
---|---|---|
committer | Artturin <Artturin@artturin.com> | 2024-05-02 22:11:48 +0300 |
commit | 85ed61f0b76f12f944d445c019fd7bfec3b3da85 (patch) | |
tree | 7a9ea8b8b6bcef7fc0958e6d4513a8a6555515e1 | |
parent | 275148e6022fa4ff06d8e3167a288080d94aa097 (diff) |
grub2_xen: set to `x86_64-linux` and `i686-linux` only
from grub's configure.ac
-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 ]; }; |