From bed0e82c24b123799764309a2468ccfe7eee8adc Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Wed, 16 Apr 2025 13:07:34 +0200 Subject: concepts, profiling: clarify scope of --profile --- doc/concepts/profiling.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/concepts/profiling.md b/doc/concepts/profiling.md index 10836c3a..f63bc91f 100644 --- a/doc/concepts/profiling.md +++ b/doc/concepts/profiling.md @@ -91,7 +91,8 @@ necessary set up and let `just` strictly follow instructions. The build tool `just` has an option `--profile` with one file name as parameter. This option is accepted by all `just` subcommands -that do at least analysis. After completing the attempt for the +that depend on analysis-related options (including `"describe"`). +After completing the attempt for the requested task, it writes to the specified file name a file containing information about that attempt. This also happens if no build was attempted despite being requested, e.g., due to failure in analysis. -- cgit v1.2.3