From: Xinchen Hui <laruence@gmail.com>
Date: Mon, 25 Feb 2013 06:45:03 +0000 (+0800)
Subject: remove useless configure option
X-Git-Tag: php-5.5.0beta1~42^2~36^2~1
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c58b89947079606cd3937333a89bee4599941d69;p=php

remove useless configure option
---

diff --git a/README b/README
index 16854be766..b2c060c58f 100644
--- a/README
+++ b/README
@@ -20,13 +20,12 @@ Quick Install
 
  $PHP_DIR/phpize
  ./configure \
-      --enable-optimizer-plus \
       --with-php-config=$PHP_DIR/bin/php-config
  make
 
 - Install
 
- make install 
+ make install # this will copy ZendOptimizerPlus.so into PHP extension directory
 
 - Edit php.ini