actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 20:01:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix to install php-dev on self-hosted env if missing

Browse Source
This commit is contained in:
Shivam Mathur 2022-03-07 08:53:27 +05:30
parent a826799c7c
commit 5e3bc57de0
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/linux.sh
View File

@ -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