From fcb692a75d32fbb2a31988df76b37ae5b7540086 Mon Sep 17 00:00:00 2001 From: Sander Roobol Date: Sun, 16 Jun 2002 10:58:54 +0000 Subject: [PATCH] Made the tests (and not only run-tests.php) actually use php.ini-dist, and removed unused php.ini file. --- run-tests.php | 1 + tests/php.ini | 3 --- 2 files changed, 1 insertion(+), 3 deletions(-) delete mode 100644 tests/php.ini diff --git a/run-tests.php b/run-tests.php index 697de2460e..41d72cc9c9 100755 --- a/run-tests.php +++ b/run-tests.php @@ -99,6 +99,7 @@ $php_ini = realpath("php.ini-dist"); if(realpath(get_cfg_var('cfg_file_path')) != $php_ini) { error("php.ini-dist was not used!"); } +$php .= " -c $php_ini"; // Determine the tests to be run. diff --git a/tests/php.ini b/tests/php.ini deleted file mode 100644 index 420ce754d9..0000000000 --- a/tests/php.ini +++ /dev/null @@ -1,3 +0,0 @@ -; -; Intentionally empty. -; \ No newline at end of file -- 2.40.0