summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDmitry Baryshkov <dbaryshkov@gmail.com>2020-05-31 12:32:30 +0000
committerDmitry Baryshkov <dbaryshkov@gmail.com>2020-05-31 12:32:30 +0000
commit9f898355ff5739f1a7f40ddaeac6a1f92ee7b2c0 (patch)
tree600f94a7efc9c5dd0de92fb1ded575f9f0087d48
parent727f7e78024854a6dc7b422e57c751ecb7013b43 (diff)
parent11022644f6dabf843bfe0ba422035b61fe4d4883 (diff)
downloadgnutls-9f898355ff5739f1a7f40ddaeac6a1f92ee7b2c0.tar.gz
Merge branch 'fix-valgrind' into 'master'
configure.ac: add -fno-builtin-strcmp if valgrind is enabled Closes #944 See merge request gnutls/gnutls!1264
-rw-r--r--configure.ac4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac
index 145f4502ed..99ffc0c6b4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -532,6 +532,10 @@ if test "$gl_gcc_warnings" = yes; then
gl_WARN_ADD([-fdiagnostics-show-option])
fi
+if test "$gl_cv_opt_valgrind_tests" != no; then
+ gl_WARN_ADD([-fno-builtin-strcmp])
+fi
+
AC_SUBST([WERROR_CFLAGS])
AC_SUBST([WSTACK_CFLAGS])
AC_SUBST([WARN_CFLAGS])