On 20 Mar 2015 13:13, Joel Sherrill wrote:
> This looks to be an issue with the "make -j8".
> I did it again with "-j8" and it failed. I did a simple "make clean all"
> in that directory and it failed again.

ok, i'll take a look.  i use -j4 everywhere myself, so most egregious errors 
shake out.

side note: could you avoid top posting ?
-mike