diff options
| author | Darren Tucker <dtucker@dtucker.net> | 2021-02-18 14:54:07 +1100 |
|---|---|---|
| committer | Darren Tucker <dtucker@dtucker.net> | 2021-02-18 14:54:07 +1100 |
| commit | 93c31a623973b0fad508214593aab6ca94b11dcb (patch) | |
| tree | 0e5571cd68a7fdbc92ec351b16bbfd7cc1c95857 | |
| parent | 65085740d3574eeb3289d592f042df62c2689bb0 (diff) | |
Add DEBUG_SK to kitchensink builds.
| -rwxr-xr-x | .github/configs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/configs b/.github/configs index 9d2119a8..fdc0b601 100755 --- a/.github/configs +++ b/.github/configs @@ -22,8 +22,9 @@ case "$config" in default|sol64) ;; kitchensink) - CONFIGFLAGS="--with-kerberos5 --with-libedit --with-pam --with-security-key-builtin" - CONFIGFLAGS="${CONFIGFLAGS} --with-selinux" + CONFIGFLAGS="--with-kerberos5 --with-libedit --with-pam" + CONFIGFLAGS="${CONFIGFLAGS} --with-security-key-builtin --with-selinux" + CONFIGFLAGS="${CONFIGFLAGS} --with-cflags=-DSK_DEBUG" ;; hardenedmalloc) CONFIGFLAGS="--with-ldflags=-lhardened_malloc" |