On Nov 11, 2007 3:30 PM, Hannes Magnusson <[EMAIL PROTECTED]> wrote:
> On Nov 11, 2007 3:23 PM, Edward Z. Yang <[EMAIL PROTECTED]> wrote:
> > 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";
> >
> > > }
>
> Flah. I somehow read "config.php", as in the PhD config file.
>
> It is using = because thats how ./configure works.
> I suppose we should support both in configure.php, but there is
> nothing we can do about that for phd except patch PHP (which I
> actually think we should) :)
--opt=value and -opt=value works now with PHP getopt() :)
-Hannes
