diff options
| author | Sascha Roloff <sascha.roloff@huawei.com> | 2023-02-20 12:59:17 +0100 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2023-02-20 17:23:04 +0100 |
| commit | dd8b9e54fc609d856a0d71c47eb2e0f8a98ab3bd (patch) | |
| tree | b279dcd4dfd31eb8790402a5f73cf9961e09f162 /share | |
| parent | 071cdf6d8af5bf95ed21d9faea22da615d45ebda (diff) | |
| download | justbuild-dd8b9e54fc609d856a0d71c47eb2e0f8a98ab3bd.tar.gz | |
Add logging command-line arguments to just-mr
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index 2292943a..136796f4 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -68,6 +68,17 @@ See *just-mr-repository-config(5)* for more details on the input format. *--main* NAME\\ The repository to take the target from.\\ + *-f,--log-file* PATH\\ + Path to local log file. ~just-mr~ will store the information printed + on stderr in the log file along with the thread id and timestamp + when the output has been generated. + + *--log-limit* NUM\\ + Log limit (higher is more verbose) in interval [0,6] (Default: 3). + + *--plain-log*\\ + Do not use ANSI escape sequences to highlight messages. + *--just* PATH\\ Name of the just binary in ~PATH~ or path to the just binary.\\ Default: ~"just"~.\\ |