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? -- Edward Z. Yang GnuPG: 0x869C48DA HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter [[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]
