diff options
Diffstat (limited to 'contrib/ci/configure.sh')
| -rw-r--r-- | contrib/ci/configure.sh | 6 |
1 files changed, 6 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 |