aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-03-07 09:38:10 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-06-05 09:12:46 +0200
commit26d25b4faefdc61c103689840304838c749efc47 (patch)
treeab21ee501251ee75cfd49c95d5afe56e1a7e9f82
parent12e921ae62b264cc0fc6549a5178c12ba59b8640 (diff)
Update INSTALL-CI-DEV
-rw-r--r--INSTALL-CI-DEV4
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL-CI-DEV b/INSTALL-CI-DEV
index a80b727..b8502d8 100644
--- a/INSTALL-CI-DEV
+++ b/INSTALL-CI-DEV
@@ -19,7 +19,7 @@ Here we assume that the brep instance is already configured according to the
instructions in the INSTALL-DEV file. Now, the instance needs to additionally
be configured as the build2 build bot controller and the CI request service,
as it is described in the INSTALL file. This, in particular, requires to
-specify the build-config and the number of ci-* configuration options in the
+specify the build-config and a number of ci-* configuration options in the
brep module configuration file. For example:
$ mkdir ~/brep
@@ -34,7 +34,7 @@ Edit brep-module.conf:
- Uncomment the Builds=?builds menu.
- Set the build-config option as <HOME>/brep/config/buildtab.
- Set the ci-data option as <HOME>/brep/ci-data.
-- Set the ci-handler option as <BREP-OUT-ROOT>/brep/handler/ci/brep-ci-load.
+- Set the ci-handler option as <BREP-OUT-ROOT>/brep/brep/handler/ci/brep-ci-load.
- Add the following options: