Tuomas Tynkkynen 2577f4af0e gnu-efi: Fix build on ARM ...

For some reason it detects e.g. armv7l and then can't find
'inc/arm/efibind.h'.

2016-06-01 10:58:42 +03:00

..

default.nix

gnu-efi: Fix build on ARM

2016-06-01 10:58:42 +03:00