Re: [PHP-DEV] REMOVING Inline optimization option

2002-04-20 Thread Stig S. Bakken
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 removi

Re: [PHP-DEV] REMOVING Inline optimization option

2002-04-20 Thread Andi Gutmans
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 hap

[PHP-DEV] REMOVING Inline optimization option

2002-04-20 Thread Yasuo Ohgaki
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? -- Yasuo Ohgaki -- PHP Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php