diff options
Diffstat (limited to 'scripts/phpize.in')
| -rw-r--r-- | scripts/phpize.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/phpize.in b/scripts/phpize.in index a9aacbc0ff..b8ff5623b1 100644 --- a/scripts/phpize.in +++ b/scripts/phpize.in @@ -60,9 +60,9 @@ autoheader || exit 1 libtoolize -f -c || exit 1 # dumping API NOs: -PHP_API_VERSION=`grep -E '#define PHP_API_VERSION' $includedir/main/php.h|sed 's/#define PHP_API_VERSION//'` -ZEND_MODULE_API_NO=`grep -E '#define ZEND_MODULE_API_NO' $includedir/Zend/zend_modules.h|sed 's/#define ZEND_MODULE_API_NO//'` -ZEND_EXTENSION_API_NO=`grep -E '#define ZEND_EXTENSION_API_NO' $includedir/Zend/zend_extensions.h|sed 's/#define ZEND_EXTENSION_API_NO//'` +PHP_API_VERSION=`egrep '#define PHP_API_VERSION' $includedir/main/php.h|sed 's/#define PHP_API_VERSION//'` +ZEND_MODULE_API_NO=`egrep '#define ZEND_MODULE_API_NO' $includedir/Zend/zend_modules.h|sed 's/#define ZEND_MODULE_API_NO//'` +ZEND_EXTENSION_API_NO=`egrep '#define ZEND_EXTENSION_API_NO' $includedir/Zend/zend_extensions.h|sed 's/#define ZEND_EXTENSION_API_NO//'` echo "Configuring for:" echo " PHP Api Version: "$PHP_API_VERSION |