Force kernel to be built with the static flag
authorAndrew Waterman <waterman@s144.Millennium.Berkeley.EDU>
Wed, 2 Nov 2011 22:08:23 +0000 (15:08 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 01:28:04 +0000 (18:28 -0700)
commit39cbf31c8835e895d66d3aaabf4491c39171821e
treebc01de5f8f58e1f316b7e392319d60fe04767a89
parentbf1a334bc24a6330319239f5ce1656f4bcc8bd62
Force kernel to be built with the static flag

Default in older gccs, but as we move to a new
one it might not be.  We just want to be prepared.....
GNUmakefile