From e751ca458e0d07768323ca2b01dd5c1cfd870e37 Mon Sep 17 00:00:00 2001 From: David Cerdeira Date: Fri, 18 Oct 2024 09:16:01 +0100 Subject: [PATCH] fix(docker): Fix docker makefile variable Fix an issue where commands such as `make -C ci/docker format` do not execute, by setting a consistent capitalization for ROOT_DIR variable in the docker Makefile. Signed-off-by: David Cerdeira --- docker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Makefile b/docker/Makefile index 3f0f560..806b138 100644 --- a/docker/Makefile +++ b/docker/Makefile @@ -12,7 +12,7 @@ ifeq ($(DOCKER_PULL),y) docker_pull_option:=--pull=always endif docker_run_cmd:=$(DOCKER) run $(docker_pull_option) --rm -it -u bao -v \ - $(root_dir):$(root_dir) -w $(root_dir) $(docker_image) + $(ROOT_DIR):$(ROOT_DIR) -w $(ROOT_DIR) $(docker_image) override MAKEFLAGS:=$(addprefix -,$(MAKEFLAGS)) --no-print-directory