diff options
| -rw-r--r-- | tools/buildman/buildman.rst | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/buildman/buildman.rst b/tools/buildman/buildman.rst index 709fe82f845..dafac017f0e 100644 --- a/tools/buildman/buildman.rst +++ b/tools/buildman/buildman.rst @@ -1294,8 +1294,8 @@ 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 again with different configuration will not trigger a -rebuild. You can use -f to work around that. +doing the same build with a different configuration will not trigger a rebuild. +You can use -f to work around that. Other options @@ -1357,7 +1357,7 @@ directory. Build summary ------------- -When buildman finishes it shows a summary, something like this:: +When Buildman finishes, it displays a summary, similar to the following: Completed: 5 total built, duration 0:00:21, rate 0.24 |