diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-02 10:15:53 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-02 12:05:58 +0100 |
| commit | 2037d87d34c2a94b48b148b4151c1343169a5568 (patch) | |
| tree | 069796685b7d7a5ef9467dffe0e4b423e47ce1a4 /share | |
| parent | fa0ec67e09959ff15363bab8d6be95fe45ec8fb6 (diff) | |
| download | justbuild-2037d87d34c2a94b48b148b4151c1343169a5568.tar.gz | |
just: make -D options overlay
... instead of only honoring the latest argument. In this way,
standard overlays coming from the launcher configuration can be
amended in individual invocations.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just.1.org | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org index a08eecbc..47f9ccb2 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -292,7 +292,8 @@ the original remote build execution protocol. Defines, via an in-line JSON object a configuration to overlay (in the sense of ~map_union~) to the configuration obtained by the *--config* option. If *-D* is given several times, - only the latest *-D* option is taken.\\ + the *-D* options overlay in the order they are given on the command + line.\\ Supported by: analyse|build|describe|install|rebuild. *--request-action-input* ACTION\\ |