On Nov 11, 2007 2:24 AM, Edward Z. Yang <[EMAIL PROTECTED]> wrote: > configure.php and build.php have inconsistent command line formats. I.e. > > configure.php --option=value > build.php --option value > > Well, which should it be?
I don't know how you managed to get --option=value to work, PHP getopt() doesnt support it... -Hannes
