diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-15 13:29:31 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-04-16 13:09:11 +0200 |
| commit | 112ff1861873de1eb2c40b521346ddb3db8b2fd3 (patch) | |
| tree | d6ed02e3c31419a11136f38beb6a2cffe2794024 /share | |
| parent | bed0e82c24b123799764309a2468ccfe7eee8adc (diff) | |
| download | justbuild-112ff1861873de1eb2c40b521346ddb3db8b2fd3.tar.gz | |
just profile: include subcommand and its arguments
As parsing the the command-line is non-trivial, we include all the
relevant information about the command line in the profile. This
should also include the subcommand. For sake of completeness, we
also include the non-option arguments of the subcommand.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-profile.5.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md index c04712af..a7da6d25 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -34,6 +34,11 @@ Profile file The profile file contains the following information. +- For the key *`"subcommand"`* the subcommand that was executed. + +- For the key *`"subcommand args"`* the positional arguments that were + provided for that subcommand. + - For the key *`"target"`* the target that was analysed/built/installed, as full qualified name. |