commit f62dc88df41ce4e23c9448766c354473f9327cce
parent 9a6a761096bd2740418ccba1bec4119814829764
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date: Fri, 12 Sep 2025 12:51:05 +0200
maybe fix path for buildbot coverity
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg
@@ -637,7 +637,7 @@ cov_factory = util.BuildFactory()
cov_factory.addStep(steps.Git(repourl='git://git.gnunet.org/gnunet.git', mode='full', method='fresh'))
cov_factory.addStep(steps.ShellSequence(
name=util.Interpolate("Git rev. %(prop:got_revision)s build"),
- env={'PATH': "${HOME}/.local/bin:$HOME/bin:${PATH}"},
+ env={'PATH': "${HOME}/.local/bin:${HOME}/bin:${PATH}"},
commands=[
util.ShellArg(command=['./bootstrap'], logname='bootstrap'),
util.ShellArg(command=['./configure',