On 14 March 2017 at 17:57, Karl Denninger <karl at denninger.net> wrote: > > Just rm -rf'd the work directory and re-ran with the -DNO_CLEAN > commented out -- no change, still fails in the same place. Indeed. glebius@ fixed this in r315292; previously the build was incorrectly trying to use headers from /sys.