Merge pull request #64437 from cleverca22/fix-32bit-ipxe

ipxe: fix build by not generating 64bit efi on 32bit systems
This commit is contained in:
Graham Christensen 2019-07-10 07:33:48 -07:00 committed by GitHub
commit 93db55bde5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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"