Added -d option which allows ini options to be specified via command line.

Patch by: Sean Coates

diff --git a/run-tests.php b/run-tests.php
index 13e1119ef233ee753689337affd30e42868401d9..f8c547a3c06620768ed2a1ab9e01f07a5fc6aa0b 100755 (executable)
--- 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;