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