diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-27 10:49:59 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-02-27 11:39:45 +0100 |
| commit | f9241e0e94b1094b12fc58ad212cdf02d021b992 (patch) | |
| tree | c21623358167a21872aebed8aa0c23ee155a7410 /share | |
| parent | bd657023d6da9fbc60b64d4b53db005f347dc874 (diff) | |
| download | justbuild-f9241e0e94b1094b12fc58ad212cdf02d021b992.tar.gz | |
Logging: Add --log-append clarg to just-mr and enable log forwarding to just
When calling just from just-mr, all logging arguments are forwarded
as early arguments. If any log files are provided, an unconditional
--log-append is also prepended to ensure the contents of the log files
are not overwritten.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index b7a128f1..1e23b772 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -79,6 +79,9 @@ See *just-mr-repository-config(5)* for more details on the input format. *--plain-log*\\ Do not use ANSI escape sequences to highlight messages. + *--log_append*\\ + Append messages to log file instead of overwriting existing. + *--just* PATH\\ Name of the just binary in ~PATH~ or path to the just binary.\\ Default: ~"just"~.\\ @@ -166,6 +169,10 @@ be provided in the configuration or on the command line. If no main repository is provided, the lexicographical first repository from the configuration is used. +All logging arguments given to ~just-mr~ are passed to ~just~ as early arguments. +If log files are provided, an unconditional ~--log-append~ argument is passed as +well, which ensures no log messages will get overwritten. + ** version|describe|analyse|build|install|install-cas|rebuild|gc This subcommand is the explicit way of specifying /known/ just subcommands and |