diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-04-14 12:20:55 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-04-14 14:37:07 +0200 |
| commit | 2fa19d98f7e4024da9dc6c9bb8f0071f966c3ae7 (patch) | |
| tree | 83657ce4b5322138a5e53d90d64dc3024dd553f1 /share | |
| parent | ec4820b68c6c6957cf621f5339164ff28861ef1d (diff) | |
| download | justbuild-2fa19d98f7e4024da9dc6c9bb8f0071f966c3ae7.tar.gz | |
just-mr support -D option
Make just-mr unconditionally support an option -D that collects a
configuration overlay and forwards it to the invocation of a just
subcommand that supports this option. This syntax-switching facility
makes it easy to embedd dynamic parts of the configuration (like
the head commit to be part of a version string) as those information
can unconditionally be the first argument to just-mr.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.org | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/share/man/just-mr.1.org b/share/man/just-mr.1.org index e641285d..8b109f1b 100644 --- a/share/man/just-mr.1.org +++ b/share/man/just-mr.1.org @@ -42,6 +42,14 @@ See *just-mr-repository-config(5)* for more details on the input format. The default configuration lookup order can be adjusted in the just-mrrc file. See *just-mrrc(5)* for more details. + *-D*, *--defines* JSON\\ + Defines, via an in-line JSON object, an overlay configuration + for *just(1)*; if used as a launcher for a subcommand known + to support *--defines*, this defines value is forwarded, + otherwise it is ignored. If *-D* is given several times, + the *-D* options overlay (in the sense of ~map_union~) in + the order they are given on the command line. + *--local-build-root* PATH\\ Root for local CAS, cache, and build directories. The path will be created if it does not exist already. This option overwrites any values set |