From 1e936f5388e6f4850d45b429e6f6d2653846e452 Mon Sep 17 00:00:00 2001 From: sabour_f Date: Mon, 4 Jan 2016 11:23:09 +0100 Subject: [PATCH] make: add page --- pages/common/make.md | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 pages/common/make.md 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}}` +