diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2020-07-28 19:38:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 19:38:12 +0200 |
| commit | 02dc8d5febb8fa6502d1f54ee7e9a11784aaa70b (patch) | |
| tree | b1cba14e6ff3f9a3c4e43f12ee8d555147e9388d /configure.seed | |
| parent | 32bd3d7a599a6dfcfadf6ed4ad684f904e50719c (diff) | |
| parent | 7d843f4d17d3f5040e0b39a3a265404e85e4e3c7 (diff) | |
Merge pull request #970 from IvanNardi/fix
Minor fixes
Diffstat (limited to 'configure.seed')
| -rw-r--r-- | configure.seed | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.seed b/configure.seed index 1c520f9ab..b344064cd 100644 --- a/configure.seed +++ b/configure.seed @@ -9,8 +9,8 @@ AC_ARG_ENABLE(fuzztargets, AS_HELP_STRING([--enable-fuzztargets], [Enable fuzz t AM_CONDITIONAL([BUILD_FUZZTARGETS], [test "x$enable_fuzztargets" = "xyes"]) AS_IF([test "${with_sanitizer+set}" = set],[ - CFLAGS+="${CFLAGS} -g3 -O0 -Wno-unused-value -fsanitize=address -fsanitize=undefined -fno-sanitize=alignment -fsanitize=leak -fno-omit-frame-pointer" - LDFLAGS+="${LDFLAGS} -fsanitize=address -fsanitize=undefined -fno-sanitize=alignment -fsanitize=leak" + CFLAGS="${CFLAGS} -g3 -O0 -Wno-unused-value -fsanitize=address -fsanitize=undefined -fno-sanitize=alignment -fsanitize=leak -fno-omit-frame-pointer" + LDFLAGS="${LDFLAGS} -fsanitize=address -fsanitize=undefined -fno-sanitize=alignment -fsanitize=leak" ]) LT_INIT |