[riot-notifications] [RIOT-OS/RIOT] docker: pass number of jobs from MAKEFLAGS to the container (#15196)
notifications at github.com
Tue Nov 17 19:41:33 CET 2020
@fjmolinas commented on this pull request.
> @@ -104,6 +104,10 @@ DOCKER_MAKE_ARGS ?=
ETC_LOCALTIME = $(realpath /etc/localtime)
+# Fetch the number of jobs from the MAKEFLAGS
+DOCKER_MAKE_JOBS = $(filter -j%,$(MAKEFLAGS))
+DOCKER_MAKE_ARGS += $(DOCKER_MAKE_JOBS)
With #15458 this could be done this way:
# 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))
DOCKER_MAKE_JOBS = $(if $(MAKE_VERSION_OK),$(filter -j%,$(MAKEFLAGS)),)
DOCKER_MAKE_ARGS += $(DOCKER_MAKE_JOBS)
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