diff options
| -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. |