diff options
Diffstat (limited to 'contrib/ci/configure.sh')
| -rw-r--r-- | contrib/ci/configure.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/ci/configure.sh b/contrib/ci/configure.sh index d5d4c791a..d68f33191 100644 --- a/contrib/ci/configure.sh +++ b/contrib/ci/configure.sh @@ -44,6 +44,7 @@ if [[ "$DISTRO_BRANCH" == -redhat-redhatenterprise*-7.*- ]]; then "--without-python3-bindings" ) fi + declare -r -a CONFIGURE_ARG_LIST fi # _CONFIGURE_SH |