fix: disable Zend Signals and enable Zend Max Execution Timers for ZTS builds

This commit is contained in:
Kévin Dunglas 2023-08-21 12:47:06 +02:00 committed by Jerry Ma
parent d326154241
commit 60e06737d7
2 changed files with 2 additions and 2 deletions

View File

@ -169,7 +169,7 @@ class LinuxBuilder extends BuilderBase
SourcePatcher::patchBeforeConfigure($this);
$json_74 = $this->getPHPVersionID() < 80000 ? '--enable-json ' : '';
$zts = $this->getOption('enable-zts', false) ? '--enable-zts ' : '';
$zts = $this->getOption('enable-zts', false) ? '--enable-zts --disable-zend-signals --enable-zend-max-execution-timers ' : '';
shell()->cd(SOURCE_PATH . '/php-src')
->exec(

View File

@ -149,7 +149,7 @@ class MacOSBuilder extends BuilderBase
SourcePatcher::patchBeforeConfigure($this);
$json_74 = $this->getPHPVersionID() < 80000 ? '--enable-json ' : '';
$zts = $this->getOption('enable-zts', false) ? '--enable-zts ' : '';
$zts = $this->getOption('enable-zts', false) ? '--enable-zts --disable-zend-signals ' : '';
shell()->cd(SOURCE_PATH . '/php-src')
->exec(