From a81d36d37f9b7c6fd0f1f11ed8a27a84f02d989b Mon Sep 17 00:00:00 2001 From: Adrien Thebo Date: Thu, 28 Jul 2022 11:57:54 -0700 Subject: [PATCH] make: add variable override example (#8249) --- pages/common/make.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/make.md b/pages/common/make.md index 12a4b73fd..0fa5a697a 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -28,6 +28,10 @@ `make --always-make {{target}}` +- Override a variable defined in the Makefile: + +`make {{target}} {{variable}}={{new_value}}` + - Override variables defined in the Makefile by the environment: `make --environment-overrides {{target}}`