From 4bfca6fe933dde1c70f2d3bccddf59a5aaf0f364 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?K=C3=A9vin=20Dunglas?= Date: Mon, 11 Sep 2023 19:37:09 +0200 Subject: [PATCH] always enable micro --- src/SPC/builder/linux/LinuxBuilder.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/SPC/builder/linux/LinuxBuilder.php b/src/SPC/builder/linux/LinuxBuilder.php index 0e7d0e37..cf0b8812 100644 --- a/src/SPC/builder/linux/LinuxBuilder.php +++ b/src/SPC/builder/linux/LinuxBuilder.php @@ -200,7 +200,7 @@ class LinuxBuilder extends BuilderBase $json_74 . $zts . $maxExecutionTimers . - ($enableMicro ? '--enable-micro=all-static ' : '--disable-micro ') . + '--enable-micro=all-static ' . $this->makeExtensionArgs() . ' ' . $envs );