diff options
author | Remi Collet <remi@remirepo.net> | 2023-12-07 10:04:33 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2023-12-07 10:04:33 +0100 |
commit | 6c7dda47e93b9638870dc74f6e8814fb5f309564 (patch) | |
tree | aaa5b5e96f823676234dbefa2d05ab2814c59701 /php-7.2.0-includedir.patch | |
parent | 6e75c0bafb6b4310d513a0cce910a981cbcea2f8 (diff) |
refresh
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..2202026 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 @@ +@@ -1283,7 +1283,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"` |