summaryrefslogtreecommitdiff
path: root/doc/make.1
diff options
context:
space:
mode:
Diffstat (limited to 'doc/make.1')
-rw-r--r--doc/make.110
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/make.1 b/doc/make.1
index 33058f08..0fd0104d 100644
--- a/doc/make.1
+++ b/doc/make.1
@@ -205,6 +205,16 @@ option is given without an argument,
.BR make
will not limit the number of jobs that can run simultaneously.
.TP 0.5i
+\fB\--jobserver-style=\fR\fIstyle\fR
+The style of jobserver to use. The
+.I style
+may be one of
+.BR fifo ,
+.BR pipe ,
+or
+.B sem
+(Windows only).
+.TP 0.5i
\fB\-k\fR, \fB\-\-keep\-going\fR
Continue as much as possible after an error.
While the target that failed, and those that depend on it, cannot