added make -B

2016-07-05 16:21:56 +02:00
parent df7fd7a1f1
commit b256d9e49e
1 changed files with 4 additions and 0 deletions
--- 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}}`