diff options
-rwxr-xr-x | .github/configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configs b/.github/configs index 28a829cc..49b53d43 100755 --- a/.github/configs +++ b/.github/configs @@ -111,7 +111,7 @@ case "$config" in kitchensink) CONFIGFLAGS="--with-kerberos5 --with-libedit --with-pam" CONFIGFLAGS="${CONFIGFLAGS} --with-security-key-builtin --with-selinux" - CONFIGFLAGS="${CONFIGFLAGS} --with-cflags=-DSK_DEBUG" + CFLAGS="-DSK_DEBUG -DSANDBOX_SECCOMP_FILTER_DEBUG" ;; hardenedmalloc) CONFIGFLAGS="--with-ldflags=-lhardened_malloc" |