diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-02-28 09:26:16 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-03-10 16:28:59 +0100 |
| commit | be1e3354a3479a6ad4d265122fe4fa20bcbf9787 (patch) | |
| tree | 3850b015a8802ac60c2b23fa01dbb3521da0a2bb /src/buildtool/execution_engine/executor | |
| parent | 16fc9bf6c065f8a6adeaf55e4b418edfb9de1f38 (diff) | |
| download | justbuild-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 'src/buildtool/execution_engine/executor')
0 files changed, 0 insertions, 0 deletions