chiark / gitweb /
build-sys: fail if gnuefi files are not found
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 24 Feb 2015 22:35:49 +0000 (17:35 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 25 Feb 2015 04:33:45 +0000 (23:33 -0500)
commit1d64e14c30e993c2d3dc948fe53118d8700c3ade
treed5fd176391ee2d27b7a74b4520a1adee9832b1b9
parent7cb0f263adacbd12f5be4f7f23d7f596485adb37
build-sys: fail if gnuefi files are not found

The build would fail later anyway, so it is better to bail
out early.

Also check for the second bios file only if the first one was not
found. I'm not sure which one is preferred. If the other one, the
order should be flipped.
configure.ac