From 157a027fc2f7d65d8b6d44585d8860914090ed6b Mon Sep 17 00:00:00 2001 From: Amit Schendel Date: Tue, 15 Oct 2024 14:17:59 +0000 Subject: [PATCH] Fixing naming of external build Signed-off-by: Amit Schendel --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 22eb0323..8723aa89 100644 --- a/Makefile +++ b/Makefile @@ -129,7 +129,7 @@ docker-image: agent: docker run -v "$$PWD":/agent -it --rm --user $(shell id -u):$(shell id -g) profiling-agent \ - "make TARGET_ARCH=$(TARGET_ARCH) VERSION=$(VERSION) REVISION=$(REVISION) BUILD_TIMESTAMP=$(BUILD_TIMESTAMP) $(if $(EXTERNAL),EXTERNAL=1)" + "make TARGET_ARCH=$(TARGET_ARCH) VERSION=$(VERSION) REVISION=$(REVISION) BUILD_TIMESTAMP=$(BUILD_TIMESTAMP) $(if $(EXTERNAL),EXTERNAL=external)" debug-agent: docker run -v "$$PWD":/agent -it --rm --user $(shell id -u):$(shell id -g) profiling-agent \