[riot-notifications] [RIOT-OS/RIOT] docker: pass number of jobs from MAKEFLAGS to the container (#15196)
notifications at github.com
Mon Jan 18 10:52:57 CET 2021
@bergzand commented on this pull request.
> @@ -104,6 +104,15 @@ DOCKER_MAKE_ARGS ?=
ETC_LOCALTIME = $(realpath /etc/localtime)
+# Fetch the number of jobs from the MAKEFLAGS
+# With $MAKE_VERSION < 4.2, the amount of parallelism is not available in
+# $MAKEFLAGS, only that parallelism is requested. So only -j, even if
+# something like -j3 is specified. This can be unexpected and dangerous
+# in older make so don't enable parallelism if $MAKE_VERSION < 4.2
+MAKE_JOBS_NEEDS = 4.1.999
+MAKE_VERSION_OK = $(call version_is_greater,$(MAKE_VERSION),$(MAKE_JOBS_NEEDS))
> Please squash right away once addessed
Changed, squashed and rebased!
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications