summaryrefslogtreecommitdiff
path: root/.github/setup_ci.sh
diff options
context:
space:
mode:
Diffstat (limited to '.github/setup_ci.sh')
-rwxr-xr-x.github/setup_ci.sh2
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
14for TARGET in $TARGETS; do 14for 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")