diff options
author | Remi Collet <remi@remirepo.net> | 2023-12-12 08:26:57 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2023-12-12 08:26:57 +0100 |
commit | c0f0b15ba5edbd7dfc35ff638aa4b43382258eb3 (patch) | |
tree | 1fecf1b51b9f1ab1a3a47886afef7035a77083e0 /php-7.2.0-includedir.patch | |
parent | 0185df6a7692bb6d3bbd465908955bc16c5ba69f (diff) |
refresh patches (avoid offset)
Diffstat (limited to 'php-7.2.0-includedir.patch')
-rw-r--r-- | php-7.2.0-includedir.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php-7.2.0-includedir.patch b/php-7.2.0-includedir.patch index 6d9a871..b6205ad 100644 --- a/php-7.2.0-includedir.patch +++ b/php-7.2.0-includedir.patch @@ -1,11 +1,11 @@ --- php-7.2.0/configure.ac.includedir +++ php-7.2.0/configure.ac -@@ -1230,7 +1230,7 @@ +@@ -1262,7 +1262,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 ++INCLUDE_PATH=.:$EXPANDED_PEAR_INSTALLDIR:${EXPANDED_DATADIR}/php:/usr/share/pear:/usr/share/php exec_prefix=$old_exec_prefix libdir=$old_libdir |