From bb8ee51d033ebad5dd62d36990cef087c16b7043 Mon Sep 17 00:00:00 2001 From: Ilija Tovilo Date: Sat, 25 Mar 2023 15:57:19 +0100 Subject: [PATCH] Disable --with-valgrind by default Same reasoning as GH-10876 --- configure.ac | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index ce981d1b871b6..4793ffdf5209e 100644 --- a/configure.ac +++ b/configure.ac @@ -781,7 +781,7 @@ PHP_ARG_WITH([valgrind], [whether to enable valgrind support], [AS_HELP_STRING([--with-valgrind], [Enable valgrind support])], - [yes], + [no], [no]) if test "$PHP_VALGRIND" != "no"; then