diff options
| author | Sascha Schumann <sas@php.net> | 2003-07-08 05:35:48 +0000 |
|---|---|---|
| committer | Sascha Schumann <sas@php.net> | 2003-07-08 05:35:48 +0000 |
| commit | 19928d250988a4a53ce4f98fc46096b7456eda6c (patch) | |
| tree | f301046c5d7cf4f267ce3dad8fa1a5a60ee71c45 /scripts | |
| parent | c0f72d9fac75fcb7516867b7dd55983b77129a17 (diff) | |
| download | php-git-19928d250988a4a53ce4f98fc46096b7456eda6c.tar.gz | |
grep -E -> egrep
Diffstat (limited to 'scripts')
| -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 |