Make UEFI boot-platform build againhrev51714
commit73159ec931ede4ad1bf59c3e23308c70834e801b
authorFredrik Holmqvist <fredrik.holmqvist@gmail.com>
Wed, 27 Dec 2017 15:30:58 +0000 (27 16:30 +0100)
committerFredrik Holmqvist <fredrik.holmqvist@gmail.com>
Wed, 27 Dec 2017 17:51:30 +0000 (27 18:51 +0100)
tree821b46ae2a47aab055f90415be81f265afba7530
parent4e6fbe0320b8e59a225770a2e08359b2cf349c98
Make UEFI boot-platform build again

gnuefi package was replaced by gnu_efi_kernel, but build
was not updated. This is guesswork, as I couldn't track down what changed.
It finds headers, headers_arch and lib and works so should be ok.
build/jam/BuildFeatures