commit e5aa2e67aed67a0f568cd8a5f7ae73aa23add25a
parent cd073076d139cf7edb8ba79391c64ecfb41da0dc
Author: Christian Grothoff <christian@grothoff.org>
Date: Mon, 21 Nov 2022 14:50:39 +0100
PATH for htmlark
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -223,6 +223,7 @@ DOC_FACTORY.addStep(
descriptionDone="Documentation built.",
command=["./build-docs.sh"],
workdir="../../deployment/buildbot",
+ env={'PATH': "${HOME}/.local/bin:${PATH}"}
haltOnFailure=True
)
)
@@ -236,6 +237,7 @@ DOC_FACTORY.addStep(
util.ShellArg(command=["./configure", "--enable-only-doc"], logname='configure'),
],
workdir="../../sources/exchange/",
+ env={'PATH': "${HOME}/.local/bin:${PATH}"}
haltOnFailure=True,
)
)