On Sat, 28 Apr 2012, Marek Polacek wrote: > 3.5. On Linux I've got problems with the declarations in Linux > kernel headers. > > Keep. I think this predates "make headers_install" and is no longer relevant. -- Joseph S. Myers joseph@codesourcery.com