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. Andi -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php
