Re: REMOVING Inline optimization option

From: Date: Sat, 20 Apr 2002 19:55:26 +0000
Subject: Re: REMOVING Inline optimization option
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-83073@lists.php.net to get a copy of this message
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

« previous php.dev (#83073) next »