diff --git a/pages/common/make.md b/pages/common/make.md new file mode 100644 index 0000000000..05694fa932 --- /dev/null +++ b/pages/common/make.md @@ -0,0 +1,21 @@ +# make + +> Task runner for rules described in Makefile. +> Mostly used to control the compilation of an executable from source code. + +- Call the all rule + +`make` + +- Call a specific rule + +`make {{rule}}` + +- Use specific Makefile + +`make -f {{file}}` + +- Execute make from another directory + +`make -C {{directory}}` +