On Wed, May 4, 2011 at 3:51 PM, Per Jessen <[email protected]> wrote: > David Boyce wrote: > Yes, it satisfies the serialization requirement, but if, for instance, > you run a make -j16 and 3 processes get tied up waiting for a fourth, > the jobserver thinks they're running and won't be submitting jobs that > could run. It's purely an optimization issue.
Good point. BTW, in your original example does "flock -s" really work or is it a typo? I'd have thought it should be "flock -x", and a quick test seems to agree, but both you and the manual show -s. -David _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
