mirror of
https://github.com/crazywhalecc/static-php-cli.git
synced 2026-03-18 12:54:52 +08:00
shared extensions may also need to patch
This commit is contained in:
parent
683461d918
commit
6f9a45b54a
@ -279,7 +279,7 @@ class SourcePatcher
|
|||||||
// }
|
// }
|
||||||
|
|
||||||
// call extension patch before make
|
// call extension patch before make
|
||||||
foreach ($builder->getExts(false) as $ext) {
|
foreach ($builder->getExts() as $ext) {
|
||||||
if ($ext->patchBeforeMake() === true) {
|
if ($ext->patchBeforeMake() === true) {
|
||||||
logger()->info("Extension [{$ext->getName()}] patched before make");
|
logger()->info("Extension [{$ext->getName()}] patched before make");
|
||||||
}
|
}
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user