diff options
| author | Remi Collet <remi@remirepo.net> | 2023-12-12 08:26:12 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-12-12 08:26:12 +0100 |
| commit | 834d34eee897a08c2d640d70ea9e8517c835c496 (patch) | |
| tree | 6615f42c5f94bd53efd749560c27d02e49b1d34d /php-7.2.0-includedir.patch | |
| parent | a0b320a587a30484eaef16bd778cea19b2ab80f0 (diff) | |
refresh patches (avoid offset)
Diffstat (limited to 'php-7.2.0-includedir.patch')
| -rw-r--r-- | php-7.2.0-includedir.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php-7.2.0-includedir.patch b/php-7.2.0-includedir.patch index 7a42cd6..b6205ad 100644 --- a/php-7.2.0-includedir.patch +++ b/php-7.2.0-includedir.patch @@ -1,6 +1,6 @@ --- 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"` |