diff options
Diffstat (limited to '.github/setup_ci.sh')
-rwxr-xr-x | .github/setup_ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index 237721ade..e2474ccd7 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh | |||
@@ -13,7 +13,7 @@ lsb_release -a | |||
13 | 13 | ||
14 | for TARGET in $TARGETS; do | 14 | for TARGET in $TARGETS; do |
15 | case $TARGET in | 15 | case $TARGET in |
16 | "") | 16 | ""|--without-openssl|--without-zlib) |
17 | # nothing to do | 17 | # nothing to do |
18 | ;; | 18 | ;; |
19 | "--with-kerberos5") | 19 | "--with-kerberos5") |