On Sat, 2002-04-20 at 21:55, Andi Gutmans wrote: > At 23:15 20/04/2002 +0900, Yasuo Ohgaki wrote: > >Shall we remove --enable-inline-optimization option? > >Since it does not do anything for a long time, AFAIK. > >(Or does it actually work under some systems?) > > > >Any comments? > > Does removing mean that if someone specifies it configure will continue > happily? If so I'm OK with removing it.
You can specify any --enable* --disable* --with* or --without* option to configure, so removing options won't cause any problems. - Stig -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php
