diff options
Diffstat (limited to '.github/configs')
| -rwxr-xr-x | .github/configs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/configs b/.github/configs index 895635e9..d3171a83 100755 --- a/.github/configs +++ b/.github/configs @@ -152,7 +152,7 @@ case "$config" in LIBCRYPTOFLAGS="--without-openssl" TEST_TARGET=t-exec ;; - valgrind-[1-4]|valgrind-unit) + valgrind-[1-5]|valgrind-unit) # rlimit sandbox and FORTIFY_SOURCE confuse Valgrind. CONFIGFLAGS="--without-sandbox --without-hardening" CONFIGFLAGS="$CONFIGFLAGS --with-cppflags=-D_FORTIFY_SOURCE=0" |