From bae39c0188250dd1b91b926cd6c4dd1bd8ad4e40 Mon Sep 17 00:00:00 2001
From: Hojun-Cho <ghwns6743@gmail.com>
Date: Wed, 12 Aug 2026 17:34:48 +0900
Subject: [PATCH] build: force Docker-owned compilation

---
 Makefile  | 6 +++---
 README.md | 4 +++-
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index d633dbe..78646a3 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/README.md b/README.md
index 9d4f495..a9abdca 100644
--- a/README.md
+++ b/README.md
@@ -60,7 +60,9 @@ make docker-check
 
 `docker-image` creates the Arch Linux dependency image, `docker-build`
 compiles the runtime components, and `docker-check` runs the map verifiers and
-test suites.  `docker` is a convenience alias for the image and build steps.
+test suites.  Docker targets force their own compilation, so newer host
+objects cannot be reused.  `docker` is a convenience alias for the image and
+build steps.
 The resulting runtime artifacts are:
 
 ```text