From ff24666e791bc6edce8368c41a101a2d83d0d237 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Richard=20M=C3=B6rbitz?= Date: Mon, 26 Oct 2020 23:36:54 +0100 Subject: [PATCH] make: add --environment-overrides example --- pages/common/make.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/make.md b/pages/common/make.md index ea7b7a009..79e0de0ae 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -26,3 +26,7 @@ - Force making of a target, even if source files are unchanged: `make --always-make {{target}}` + +- Override variables defined in the Makefile by the environment: + +`make --environment-overrides {{target}}`