diff options
author | Ilia Alshanetsky <iliaa@php.net> | 2004-12-06 23:37:20 (GMT) |
---|---|---|
committer | Ilia Alshanetsky <iliaa@php.net> | 2004-12-06 23:37:20 (GMT) |
commit | 35540fdee6aeff8e27d92d610dc8d09191d555c3 (patch) | |
tree | eb71556981a00b15901a1a0b6e9b99f55ec78de9 /run-tests.php | |
parent | 6883a3f09ce4724a25d1b0096f8ddf630ab05f5b (diff) | |
download | php-35540fdee6aeff8e27d92d610dc8d09191d555c3.tar.gz |
Added -d option which allows ini options to be specified via command line.
Patch by: Sean Coates
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 13e1119..f8c547a 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; |