From f4327c8c812a86744872b8231ac8003718bfb8a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?K=C3=A9vin=20Dunglas?= <kevin@dunglas.fr>
Date: Mon, 21 Aug 2023 18:37:00 +0200
Subject: [PATCH] fix

---
 src/SPC/builder/linux/LinuxBuilder.php | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/SPC/builder/linux/LinuxBuilder.php b/src/SPC/builder/linux/LinuxBuilder.php
index 04a7ad86..09d6fbdf 100644
--- a/src/SPC/builder/linux/LinuxBuilder.php
+++ b/src/SPC/builder/linux/LinuxBuilder.php
@@ -169,10 +169,15 @@ class LinuxBuilder extends BuilderBase
         SourcePatcher::patchBeforeConfigure($this);
 
         $phpVersionID = $this->getPHPVersionID();
-
         $json_74 = $phpVersionID < 80000 ? '--enable-json ' : '';
-        $maxExecutionTimers = $this->getOption('enable-zts', false) && $this->getPHPVersionID() > 81000 ? '--enable-zend-max-execution-timers ' : '';
-        $zts = $this->getOption('enable-zts', false) ? '--enable-zts --disable-zend-signals ' : '';
+
+        if ($this->getOption('enable-zts', false)) {
+            $maxExecutionTimers = $phpVersionID >= 80100 ? '--enable-zend-max-execution-timers ' : '';
+            $zts = '--enable-zts --disable-zend-signals ';
+        } else {
+            $maxExecutionTimers = '';
+            $zts = '';
+        }
 
         shell()->cd(SOURCE_PATH . '/php-src')
             ->exec(