On Tue, Sep 20, 2016 at 12:40:13AM -0700, Father Chrysostomos via RT wrote: > Does the attached diff also fix the problem? (Instead of working > around the problem, it removes the cause.) Yes, I ran "make -j4" three times with this patch and saw no failures. TomThread Previous | Thread Next