As it doesn't look like this issue will be resolved soon, I've pushed a commit that makes the obvious work-around to disable all parallel building. Ludovic, can you review and upload?
Francis _______________________________________________ Monotone-debian mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/monotone-debian
