On 05/13/2014 02:52 PM, Gene Cumm wrote:> > Alexey: > > make bios clean > make bios installer > > This should satisfy your goal. >I don't *think* you want the bit "bios" in there... -hpa
On May 13, 2014 6:02 PM, "H. Peter Anvin" <hpa at zytor.com> wrote:> > On 05/13/2014 02:52 PM, Gene Cumm wrote: > > > > Alexey: > > > > make bios clean > > make bios installer > > > > This should satisfy your goal. > > > > I don't *think* you want the bit "bios" in there... > > -hpaThat should make "make" ignore efi32 and efi64. --Gene
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