chiark / gitweb /
build-sys: fail if gnuefi files are not found