On 05/13/2014 03:07 PM, Gene Cumm wrote: > > That should make "make" ignore efi32 and efi64. > Normally when you specify two things on the "make" command line it tries to build both, i.e.: make bios clean ... is (almost) the same thing as ... make bios make clean -hpa