On Sun, Nov 13, 2011 at 4:19 PM, Paul Smith <psm...@gnu.org> wrote: > On Tue, 2011-10-25 at 13:34 -0700, Tim Newsome wrote: > > We do a lot of builds (as in double-digit servers building non-stop). > > Sometimes, when a part of the build fails, make -j8 would die with: > > make: INTERNAL: Exiting with 9 jobserver tokens available; should be > > 8 > > > > With -j16 the error would be 17 instead of 16, etc. I think it's > > simply an off-by-one error in cleanup code that is almost never run. > > Attached is a patch that fixes it. We've been running with it for over > > 5 days now and haven't noticed any problems. > > I applied a change to fix this. I tried for a while but couldn't > generate a repro case. Bummer. >
Great. Thank you. I never had a reliable test case either. It mainly seemed to happen when a process make started segfaulted. Tim
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
