diff options
| author | Sascha Schumann <sas@php.net> | 2003-07-08 05:37:06 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 2003-07-08 05:37:06 +0000 |
| commit | 3290685fda77106e1bca7418806a778b6622e48b (patch) | |
| tree | eb82e4859eeda7eb9b951944a4cd49da5e2b356b /scripts/phpize.in | |
| parent | 6cb8ce2880058836d17ba24ffde439f6afa4a08e (diff) | |
| download | php-git-3290685fda77106e1bca7418806a778b6622e48b.tar.gz | |
grep -E -> egrep
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 f0eec12378..013718f7d7 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 |