From 2037d87d34c2a94b48b148b4151c1343169a5568 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Thu, 2 Mar 2023 10:15:53 +0100 Subject: 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. --- share/man/just.1.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'share') 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\\ -- cgit v1.2.3