ipxe: fix build by not generating 64bit efi on 32bit systems

5 years ago · c0b2c69736
parent c7a4a0c852
commit c0b2c69736
1 changed files with 1 additions and 2 deletions
--- 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"