build: force Docker-owned compilation

2026-08-12 17:34:48 +09:00
parent 4e90fdd5c7
commit bae39c0188
2 changed files with 6 additions and 4 deletions
--- a/6
+++ b/6
@@ -43,13 +43,13 @@ docker-image: Dockerfile
 	docker build -t $(DOCKER_IMAGE) - < Dockerfile

 docker-build:
-	$(DOCKER_RUN) make all
+	$(DOCKER_RUN) make -B all

 docker-check:
-	$(DOCKER_RUN) make check TESTARGS="$(TESTARGS)"
+	$(DOCKER_RUN) make -B check TESTARGS="$(TESTARGS)"

 docker-bench:
-	$(DOCKER_RUN) make bench
+	$(DOCKER_RUN) make -B bench

 docker: docker-image
 	$(MAKE) docker-build