diff options
Diffstat (limited to 'dev-lang/php/php-8.1.18.ebuild')
| -rw-r--r-- | dev-lang/php/php-8.1.18.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/php/php-8.1.18.ebuild b/dev-lang/php/php-8.1.18.ebuild index 20d68c6387fd..7a0c8ba9fcf7 100644 --- a/dev-lang/php/php-8.1.18.ebuild +++ b/dev-lang/php/php-8.1.18.ebuild @@ -147,6 +147,7 @@ PHP_MV="$(ver_cut 1)" PATCHES=( "${FILESDIR}/php-iodbc-header-location.patch" + "${FILESDIR}/php-capstone-optional.patch" ) php_install_ini() { |
