On Mon, 2016-02-08 at 14:51 -0800, H.J. Lu wrote: > Did you run into > > https://sourceware.org/bugzilla/show_bug.cgi?id=17617 Maybe, though I was running a serial make with no parallelism. I am not sure if it is possible to run into that bug with no parallelism or not. Steve Ellcey