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 2d1943c3..b603f3f5 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -22,7 +22,7 @@ set -ex lsb_release -a if [ "${TARGETS}" = "kitchensink" ]; then - TARGETS="kerberos5 libedit pam sk selinux" + TARGETS="krb5 libedit pam sk selinux" fi for flag in $CONFIGFLAGS; do |