From 60413b149c601cb704d84f789c09169789ec7edc Mon Sep 17 00:00:00 2001 From: pixel Date: Thu, 17 Feb 2022 11:47:43 +0100 Subject: [PATCH] mk: add page (#7756) --- pages/common/mk.md | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 pages/common/mk.md diff --git a/pages/common/mk.md b/pages/common/mk.md new file mode 100644 index 000000000..020ef3584 --- /dev/null +++ b/pages/common/mk.md @@ -0,0 +1,29 @@ +# mk + +> Task runner for targets described in Mkfile. +> Mostly used to control the compilation of an executable from source code. +> More information: . + +- Call the first target specified in the Mkfile (usually named "all"): + +`mk` + +- Call a specific target: + +`mk {{target}}` + +- Call a specific target, executing 4 jobs at a time in parallel: + +`NPROC=4 mk {{target}}` + +- Force mking of a target, even if source files are unchanged: + +`mk -w{{target}} {{target}}` + +- Assume all targets to be out of date. Thus, update `target` and all of its dependencies: + +`mk -a {{target}}` + +- Keep going as far as possible on error: + +`mk -k`