diff options
Diffstat (limited to '16.patch')
| -rw-r--r-- | 16.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/16.patch b/16.patch new file mode 100644 index 0000000..a122569 --- /dev/null +++ b/16.patch @@ -0,0 +1,23 @@ +From 17dee351417758f8d30c49e26e3212e888100c4e Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +Date: Thu, 1 Dec 2022 15:21:51 +0100 +Subject: [PATCH] Use TEST_PHP_ARGS (from run-tests.php) instead of trying to + build it + +--- + tests/server_test.inc | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/tests/server_test.inc b/tests/server_test.inc +index a47c45c..1738f2a 100644 +--- a/tests/server_test.inc ++++ b/tests/server_test.inc +@@ -32,7 +32,7 @@ function server_start_one($host, $port, $code = 'echo "Hello world";', $php_opts + } else { + $php_args = "-d extension_dir=$doc_root/../modules"; + } +- $php_args = "$php_args -d extension=$ext"; ++ $php_args = (getenv('TEST_PHP_ARGS') ?: "$php_args -d extension=$ext"); + + if ($php_opts) { + $php_args = "$php_args -d " . implode(' -d ', $php_opts);; |