summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2025-02-28 09:26:16 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2025-03-10 16:28:59 +0100
commitbe1e3354a3479a6ad4d265122fe4fa20bcbf9787 (patch)
tree3850b015a8802ac60c2b23fa01dbb3521da0a2bb /share
parent16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38 (diff)
downloadjustbuild-be1e3354a3479a6ad4d265122fe4fa20bcbf9787.tar.gz
Add basic --profile option to just
... so far only keeping track basic properties of the invocation. Still, the code is already organized to support future extensions; in particular, we do not have to rely on the Profile class being copyable.
Diffstat (limited to 'share')
-rw-r--r--share/man/just.1.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/share/man/just.1.md b/share/man/just.1.md
index de59455f..1ace1bd3 100644
--- a/share/man/just.1.md
+++ b/share/man/just.1.md
@@ -434,6 +434,10 @@ type, size) as value. Each artifact is guaranteed to be *`KNOWN`* in
CAS. Therefore, this option cannot be used with **`analyse`**.
Supported by: build|install|rebuild|traverse.
+**`--profile`** *`PATH`*
+Write a profile to the specified path.
+Supported by: analyse|build|install|rebuild|traverse.
+
**`--dump-graph`** *`PATH`*
File path for writing the action graph description to. See
**`just-graph-file`**(5) for more details.