From b256d9e49e08ddf7807a3ab81c4514a2a5548b94 Mon Sep 17 00:00:00 2001 From: Gregor Aisch Date: Tue, 5 Jul 2016 16:21:56 +0200 Subject: [PATCH 1/2] added make -B --- pages/common/make.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/make.md b/pages/common/make.md index f9c54934b..0985fa325 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -18,3 +18,7 @@ - Execute make from another directory: `make -C {{directory}}` + +- Force making of a rule, even if source files are unchanged + +`make -B {{rule}}` From b18c728aceb6a84fe5ef1df6f2fe271b4890e50d Mon Sep 17 00:00:00 2001 From: Agniva De Sarker Date: Thu, 15 Sep 2016 20:13:05 +0530 Subject: [PATCH 2/2] make: Improve page - Fix syntax error - Expand flags - Change "rule" to "target" as its a better terminology for make --- pages/common/make.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/pages/common/make.md b/pages/common/make.md index 0985fa325..bd846611b 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -1,24 +1,24 @@ # make -> Task runner for rules described in Makefile. +> Task runner for targets described in Makefile. > Mostly used to control the compilation of an executable from source code. -- Call the all rule: +- Call the first target specified in the Makefile (usually named "all"): `make` -- Call a specific rule: +- Call a specific target: -`make {{rule}}` +`make {{target}}` -- Use specific Makefile: +- Use a specific Makefile: -`make -f {{file}}` +`make --file {{file}}` - Execute make from another directory: -`make -C {{directory}}` +`make --directory {{directory}}` -- Force making of a rule, even if source files are unchanged +- Force making of a target, even if source files are unchanged: -`make -B {{rule}}` +`make --always-make {{target}}`