diff options
Diffstat (limited to 'contrib/ci')
| -rw-r--r-- | contrib/ci/configure.sh | 6 | ||||
| -rw-r--r-- | contrib/ci/deps.sh | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/contrib/ci/configure.sh b/contrib/ci/configure.sh index 8af273043..d5d4c791a 100644 --- a/contrib/ci/configure.sh +++ b/contrib/ci/configure.sh @@ -35,9 +35,15 @@ if [[ "$DISTRO_BRANCH" == -redhat-redhatenterprise*-6.*- ]]; then CONFIGURE_ARG_LIST+=( "--disable-cifs-idmap-plugin" "--with-syslog=syslog" + "--without-python3-bindings" ) fi +if [[ "$DISTRO_BRANCH" == -redhat-redhatenterprise*-7.*- ]]; then + CONFIGURE_ARG_LIST+=( + "--without-python3-bindings" + ) +fi declare -r -a CONFIGURE_ARG_LIST fi # _CONFIGURE_SH diff --git a/contrib/ci/deps.sh b/contrib/ci/deps.sh index 0cdb99629..4e0ce1e03 100644 --- a/contrib/ci/deps.sh +++ b/contrib/ci/deps.sh @@ -92,6 +92,7 @@ if [[ "$DISTRO_BRANCH" == -debian-* ]]; then libxml2-utils make python-dev + python3-dev samba-dev systemd xml-core |