archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Don't disable unrelated ext during configure

Browse source 
This is apparently a long-standing copy & paste issue.
This commit is contained in:
Christoph M. Becker 2021-09-20 10:26:33 +02:00
parent bc19186c7f
commit e47af326da
No known key found for this signature in database
GPG key ID: D66C9593118BCCB6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ext/xml/config.w32
View file

@ -16,6 +16,6 @@ if (PHP_XML == "yes") {
PHP_INSTALL_HEADERS("", "ext/xml");
} else {
WARNING("xml support can't be enabled, libraries or headers are missing")
PHP_ZLIB = "no"
PHP_XML = "no"
}
}