Merge pull request #766 from crazywhalecc/docs

rebuild shared extensions even if they already exist
This commit is contained in:
Marc 2025-06-12 19:20:05 +07:00 committed by GitHub
commit 8fbe6ee8ff
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -329,10 +329,6 @@ class Extension
public function buildShared(): void public function buildShared(): void
{ {
logger()->info('Building extension [' . $this->getName() . '] as shared extension (' . $this->getName() . '.so)'); logger()->info('Building extension [' . $this->getName() . '] as shared extension (' . $this->getName() . '.so)');
if (file_exists(BUILD_MODULES_PATH . '/' . $this->getName() . '.so')) {
logger()->info('extension ' . $this->getName() . ' already built, skipping');
return;
}
foreach ($this->dependencies as $dependency) { foreach ($this->dependencies as $dependency) {
if (!$dependency instanceof Extension) { if (!$dependency instanceof Extension) {
continue; continue;