diff options
author | joshua stein <jcs@jcs.org> | 2019-12-27 23:50:39 -0600 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-12-28 21:09:33 +0100 |
commit | 0b501335f55d96ab78251b75310f3417f8659c6d (patch) | |
tree | 925612dab1c0f44851fc4b6a607d90226a5de5de /Makefile | |
parent | d622e4d224acbe1a8dda3fcfb0bb1e1dab3f46f0 (diff) | |
download | serenity-0b501335f55d96ab78251b75310f3417f8659c6d.zip |
Build: wrap make invocations with flock(1)
Lock each directory before entering it so when using -j, the same
dependency isn't built more than once at a time.
This doesn't get full -j parallelism though, since one make child
will be sitting idle waiting for flock to receive its lock and
continue making (which should then do nothing since it will have
been built already). Unfortunately there's not much that can be
done to fix that since it can't proceed until its dependency is
built by another make process.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,6 +23,6 @@ ifeq ($(UNAME_S),Darwin) test: else test: - $(QUIET) $(MAKE) -C AK/Tests clean all clean + $(QUIET) flock AK/Tests $(MAKE) -C AK/Tests clean all clean endif |