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 593e8ef1..02f8feda 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -20,7 +20,7 @@ lsb_release -a for TARGET in $TARGETS; do case $TARGET in - ""|--without-openssl|--without-zlib) + ""|--without-openssl|--without-zlib|--with-Werror) # nothing to do ;; "--with-kerberos5") |