Parallel builds are made by utilizing the jobserver protocol. Each job
have to take so called token and return it when it finishes. Jobserver
creates the pipe, consisting of read and write files, that are passed
goredo instance. Job takes the token by reading the
single byte from that pipe, writing it back for returning. Pipe is
pre-filled with required number of tokens.
goredo can be integrated with
GNU Make (
jobserver protocol. All three of them use the same principle of
jobserver, but different ways of passing pipe’s file descriptors
numbers to child process.
$REDO_MAKE environment variable controls the compatibility behaviour:
-j 1 -J X,Y arguments through
--jobserver-auth=X,Y arguments through
X,Y arguments through
Used by default, if
$REDO_MAKE is not set.