Carl-Daniel Hailfinger wrote:
I think I can fix that serialization problem,
Aha? Mind to share the insight?
but it seems r3777 makes the situation a bit better than it was before. That alone is an improvement. Stefan, you are right about the time/result tradeoff. If the failure rate stays low enough, we might want to leave your fix in place and simply accept the occassional failure.
Oh, we do want to leave my fix in place, even if you come up with another fix on top of that.
Having two rules for the same set of files is quite unhealthy.
Stefan