From c0b2c6973636e3e763642d6b23e0c708fd18f548 Mon Sep 17 00:00:00 2001 From: Michael Bishop Date: Mon, 8 Jul 2019 03:47:41 -0300 Subject: [PATCH] ipxe: fix build by not generating 64bit efi on 32bit systems --- pkgs/tools/misc/ipxe/default.nix | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/tools/misc/ipxe/default.nix b/pkgs/tools/misc/ipxe/default.nix index 99b7ea10bd3..a9cddcc5ff8 100644 --- a/pkgs/tools/misc/ipxe/default.nix +++ b/pkgs/tools/misc/ipxe/default.nix @@ -5,8 +5,7 @@ let date = "20190318"; rev = "ebf2eaf515e46abd43bc798e7e4ba77bfe529218"; - targets = [ - "bin-x86_64-efi/ipxe.efi" + targets = (lib.optional stdenv.isx86_64 "bin-x86_64-efi/ipxe.efi") ++ [ "bin/ipxe.dsk" "bin/ipxe.usb" "bin/ipxe.iso"