diff options
| author | Adriano Carvalho <[email protected]> | 2025-08-25 23:32:35 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2025-08-30 20:45:33 +0200 |
| commit | 0492657c74f517dae71ed4864ef10bb05e22a2d4 (patch) | |
| tree | efb14bf12fa4df1eccaa6ac14872cd78dedcc099 | |
| parent | 01bf38a05ea5e7dbe30a8170dc4fcf82399228d3 (diff) | |
doc: Rephrase to be more precise and less confusing (build)
It was "... doing the same build ... will not trigger a rebuild".
Signed-off-by: Adriano Carvalho <[email protected]>
| -rw-r--r-- | tools/buildman/buildman.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildman/buildman.rst b/tools/buildman/buildman.rst index dafac017f0e..6b382942ac8 100644 --- a/tools/buildman/buildman.rst +++ b/tools/buildman/buildman.rst @@ -1294,7 +1294,7 @@ shows an error:: One major caveat with this feature with branches (-b) is that buildman does not name the output directories differently when you change the configuration, so -doing the same build with a different configuration will not trigger a rebuild. +re-launching Buildman with an updated configuration will not trigger a rebuild. You can use -f to work around that. |