From 5e3bc57de0a5692148a593fe5995adb6b4e9429b Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Mon, 7 Mar 2022 08:53:27 +0530
Subject: [PATCH] Fix to install php-dev on self-hosted env if missing

---
 src/scripts/linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index 7bf7a5c3..bae466b3 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -212,7 +212,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" ]; then
+    if [ ! -e "/usr/bin/php$version" ] || [ ! -e "/usr/bin/php-config$version" ]; then
       add_php >/dev/null 2>&1
     else
       if ! [[ "$version" =~ ${old_versions:?} ]]; then