path: root/doc/developer.rst
diff options
authorlouiz’ <>2019-11-13 22:11:14 +0100
committerlouiz’ <>2019-11-13 22:14:18 +0100
commit0cb62d993b43dd048b93e130d96c7757cf10b6d2 (patch)
tree59e562c00c72ec6ed45760ab33797f2abde9f009 /doc/developer.rst
parentacc0458054c0add9c4f8cb296fca97ba518983d0 (diff)
Rename the build directory in the e2e docker doc
To avoid conflicting with the “host” build/ directory. This way we don’t need to remove/empty the build/ directory beforehand, etc.
Diffstat (limited to 'doc/developer.rst')
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/developer.rst b/doc/developer.rst
index ecdbbf3..b3ef158 100644
--- a/doc/developer.rst
+++ b/doc/developer.rst
@@ -71,7 +71,7 @@ created):
.. code-block:: bash
:caption: Configure and build biboumi from inside the container
- docker exec biboumi-e2e sh -c "cd biboumi && mkdir build/ && cd build/ && cmake .."
+ docker exec biboumi-e2e sh -c "cd biboumi && mkdir docker-build/ && cd docker-build/ && cmake .."
This is needed (only once), because if you configure it from your host
machine, then the paths generated by cmake will be all wrong when you try
@@ -80,7 +80,7 @@ to compile from inside the container and nothing will work.
.. code-block:: bash
:caption: Re-compile and run the test suite inside the container
- docker exec biboumi-e2e sh -c "cd biboumi/build && make e2e"
+ docker exec biboumi-e2e sh -c "cd biboumi/docker-build && make e2e"
This should now build everything correctly, and run the test suite. If you
want to re-run it again after you edited something in your source tree,