Lines Matching refs:ia32
5 efiarch := ia32
17 mkdir build-ia32
18 $(MAKE) -C build-ia32 -f ../Makefile SRCDIR=.. ARCH=ia32
35 rm -rf build-ia32 build-x86_64
54 rm -rf debian/gnu-efi/usr/include/efi/ia32
70 cp build-ia32/gnuefi/*.a debian/gnu-efi/usr/lib32/
72 cp build-ia32/gnuefi/crt0-efi-ia32.o debian/gnu-efi/usr/lib32/
73 cp build-ia32/lib/*.a debian/gnu-efi/usr/lib32/