Hannes Magnusson wrote: > I don't know how you managed to get --option=value to work, PHP > getopt() doesnt support it...
As far as I can tell, configure.php doesn't use getopt...
> foreach ($_SERVER['argv'] as $opt) {
> if (strpos($opt, "=") !== false) {
> list($o, $v) = explode("=", $opt);
> } else {
> $o = $opt;
> $v = "yes";
> }
--
Edward Z. Yang GnuPG: 0x869C48DA
HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter
[[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]
