From 35540fdee6aeff8e27d92d610dc8d09191d555c3 Mon Sep 17 00:00:00 2001
From: Ilia Alshanetsky <iliaa@php.net>
Date: Mon, 6 Dec 2004 23:37:20 +0000
Subject: [PATCH] Added -d option which allows ini options to be specified via
 command line. Patch by: Sean Coates

---
 run-tests.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/run-tests.php b/run-tests.php
index 13e1119ef2..f8c547a3c0 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -246,6 +246,9 @@ if (isset($argc) && $argc > 1) {
 					}
 					$pass_option_n = true;
 					break;
+				case 'd':
+					$ini_overwrites[] = $argv[++$i];
+					break;
 				default:
 					echo "Illegal switch specified!\n";
 				case "h":
@@ -269,6 +272,9 @@ Options:
 
     -n          Pass -n option to the php binary (Do not use a php.ini).
 
+    -d foo=bar  Pass -d option to the php binary (Define INI entry foo
+                with value 'bar')
+
     -h <file>   This Help.
 
 HELP;
-- 
2.50.1