From 19928d250988a4a53ce4f98fc46096b7456eda6c Mon Sep 17 00:00:00 2001 From: Sascha Schumann Date: Tue, 8 Jul 2003 05:35:48 +0000 Subject: [PATCH] grep -E -> egrep --- scripts/phpize.in | 6 +++--- 1 file 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 -- 2.40.0