Fix installing zts builds on ubuntu 20.04

shivammathur · Nov 25, 2023 · 99b3043 · 99b3043
1 parent bbe1204
commit 99b3043
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
@@ -225,7 +225,7 @@ setup_php() {
   sudo mkdir -m 777 -p /var/run /run/php
   php_config="$(command -v php-config)"
   if [[ -z "$php_config" ]] || [ "$(php_semver | cut -c 1-3)" != "$version" ]; then
-    if [ ! -e "/usr/bin/php$version" ] || [ ! -e "/usr/bin/php-config$version" ]; then
+    if [ "${ts:?}" = 'zts' ] || [ ! -e "/usr/bin/php$version" ] || [ ! -e "/usr/bin/php-config$version" ]; then
       add_php >/dev/null 2>&1
     else
       if ! [[ "$version" =~ ${old_versions:?} ]]; then