diff options
-rw-r--r-- | contrib/ci/deps.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/deps.sh b/contrib/ci/deps.sh index 22b7276eb..0c42e4626 100644 --- a/contrib/ci/deps.sh +++ b/contrib/ci/deps.sh @@ -97,6 +97,7 @@ if [[ "$DISTRO_BRANCH" == -debian-* ]]; then libtdb-dev libtevent-dev libtool + libtool-bin libxml2-utils make python-dev |