diff options
| author | Remi Collet <remi@remirepo.net> | 2017-08-30 11:21:43 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2017-08-30 11:21:43 +0200 |
| commit | d15b114d16b446eea7113a982021c7b03c387b50 (patch) | |
| tree | 76f481324b02dbe2b2552bc04398d0629cd90830 /php-7.0.0-includedir.patch | |
| parent | 43681eb3e835ec5dc36297caa13315f3692bcab9 (diff) | |
PHP 7.2.0RC1
Diffstat (limited to 'php-7.0.0-includedir.patch')
| -rw-r--r-- | php-7.0.0-includedir.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/php-7.0.0-includedir.patch b/php-7.0.0-includedir.patch deleted file mode 100644 index 2822c3f..0000000 --- a/php-7.0.0-includedir.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- php-7.0.0/configure.in.includedir -+++ php-7.0.0/configure.in -@@ -1245,7 +1245,7 @@ - EXPANDED_DATADIR=$datadir - EXPANDED_PHP_CONFIG_FILE_PATH=`eval echo "$PHP_CONFIG_FILE_PATH"` - EXPANDED_PHP_CONFIG_FILE_SCAN_DIR=`eval echo "$PHP_CONFIG_FILE_SCAN_DIR"` --INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR -+INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR:${EXPANDED_DATADIR}/php - - exec_prefix=$old_exec_prefix - libdir=$old_libdir |