make: add variable override example (#8249)

2022-07-28 11:57:54 -07:00 · 2022-07-28 11:57:54 -07:00 · a81d36d37f
parent 367d020a44
commit a81d36d37f
1 changed files with 4 additions and 0 deletions
--- 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}}`