From cae814c1cba9750cd76f43486cb60eb8bf46e8c6 Mon Sep 17 00:00:00 2001 From: Lars Eggert Date: Fri, 13 Sep 2019 09:38:45 +0300 Subject: [PATCH] make: docker: Delegate bind mounts to the containers At least on Docker for Mac, this brings a huge boost in build performance, see https://docs.docker.com/docker-for-mac/osxfs-caching/: Before: `real 6m23.003s` After: `real 1m57.923s` --- makefiles/docker.inc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk index 65b2628b2a..4f053f3f67 100644 --- a/makefiles/docker.inc.mk +++ b/makefiles/docker.inc.mk @@ -200,7 +200,7 @@ endef # docker_volume command line arguments. Allows giving volume mount options. # By default 'DOCKER_VOLUME_OPTIONS'. Argument option ignore the default. -DOCKER_VOLUME_OPTIONS ?= +DOCKER_VOLUME_OPTIONS ?= delegated docker_volume = -v '$1:$2$(addprefix :,$(or $3,$(DOCKER_VOLUME_OPTIONS)))' docker_volume_and_env = $(strip $(call _docker_volume_and_env,$1,$2,$3))