Revert "always enable micro"

This reverts commit eb8cefd9ca.
This commit is contained in:
Kévin Dunglas
2023-09-11 22:22:41 +02:00
committed by Jerry Ma
parent 1a32ddc70a
commit adfa620ef4

View File

@@ -200,7 +200,7 @@ class LinuxBuilder extends BuilderBase
$json_74 . $json_74 .
$zts . $zts .
$maxExecutionTimers . $maxExecutionTimers .
'--enable-micro=all-static ' . ($enableMicro ? '--enable-micro=all-static ' : '--disable-micro ') .
$this->makeExtensionArgs() . ' ' . $this->makeExtensionArgs() . ' ' .
$envs $envs
); );