diff --git a/doc/source/developing/workspaces.rst b/doc/source/developing/workspaces.rst index db2c9a95e..e7621e0c6 100644 --- a/doc/source/developing/workspaces.rst +++ b/doc/source/developing/workspaces.rst @@ -105,7 +105,8 @@ where build scripts automatically detect sources in it's configuration phase, so newly added sources you add might be ignored. In order to force the configuration step to be called again on the next build, -you can use :ref:`bst workspace reset --soft `, like so: +you can use :ref:`bst workspace reset ` with the +``--soft`` option, like so: In these cases, you can perform a hard reset on the workspace using :ref:`bst workspace reset `, like so: @@ -147,4 +148,3 @@ To discard the workspace completely we can do: This will close the workspace and completely remove the workspace_hello directory. - diff --git a/src/buildstream/buildelement.py b/src/buildstream/buildelement.py index aebe5fb0b..752732375 100644 --- a/src/buildstream/buildelement.py +++ b/src/buildstream/buildelement.py @@ -76,8 +76,8 @@ In the case that the element is currently workspaced, the ``configure-commands`` will only be run in subsequent builds until they succeed at least once, unless - :ref:`bst workspace reset --soft ` is called on the - workspace to explicitly avoid an incremental build. + :ref:`bst workspace reset ` is called with the + ``--soft`` option on the workspace to explicitly avoid an incremental build. """