Bug#822724: Bug#822725: Bug#822724: efitools: FTBFS on i386: efibind.h: No such file or directory

2019-01-25 Thread Luca Boccassi
On Fri, 29 Apr 2016 18:45:19 +0100 Steve McIntyre wrote: > On Fri, Apr 29, 2016 at 07:31:11PM +0200, pollux wrote: > >On 04/29/2016 06:58 PM, Steve McIntyre wrote: > >> On Fri, Apr 29, 2016 at 06:20:55PM +0200, pollux wrote: > >>> Indeed, on PC architectures, EFI executables are 64-bits EXE files.

Bug#822724: Bug#822725: Bug#822724: efitools: FTBFS on i386: efibind.h: No such file or directory

2016-04-29 Thread Steve McIntyre
On Fri, Apr 29, 2016 at 07:31:11PM +0200, pollux wrote: >On 04/29/2016 06:58 PM, Steve McIntyre wrote: >> On Fri, Apr 29, 2016 at 06:20:55PM +0200, pollux wrote: >>> Indeed, on PC architectures, EFI executables are 64-bits EXE files. >> >> Ummm, what? 32-bit i386 (ia32) should be supported just fi

Bug#822724: Bug#822725: Bug#822724: efitools: FTBFS on i386: efibind.h: No such file or directory

2016-04-29 Thread pollux
On 04/29/2016 06:58 PM, Steve McIntyre wrote: > On Fri, Apr 29, 2016 at 06:20:55PM +0200, pollux wrote: >> Indeed, on PC architectures, EFI executables are 64-bits EXE files. > > Ummm, what? 32-bit i386 (ia32) should be supported just fine. If it's > not working, that's just a bug. I'm talking ab