Explicitly look for CONFIG_X86_32 in Makefile
authorKevin Klues <klueska@cs.berkeley.edu>
Wed, 7 May 2014 00:48:09 +0000 (17:48 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Wed, 7 May 2014 00:48:09 +0000 (17:48 -0700)
commitc4a4f2ddf88459f915ec0de875b5d9dc65d7a8fc
tree890424dd949f53cbdfc713d776945ca420222e0d
parentd07178913e9be5446786be7ecc612747c5c47a3b
Explicitly look for CONFIG_X86_32 in Makefile

Before this change, the first pass over the makefile would think we were
a 32 bit kernel even if we were a 64 bit one.  If you didn't have an
i686-ros-gcc compiler installed, then later attempts to execute
$(shell $(OBJDUMP)) in the top level Makefile would error out (albeit
benignly).
kern/arch/x86/Makefile