huanghuiming/setup-php
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

formatting fixes

Browse Source
This commit is contained in:
hotrush 2019-12-12 14:53:11 +03:00
parent a5e13fab3b
commit 4361c42173
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/extensions.ts
View File

@ -110,13 +110,13 @@ export async function addExtensionLinux(
case '7.1gearman':
case '7.2gearman':
case '7.3gearman':
// case '7.4gearman': // no 7.4 support for now, hope for 2.0.7
install_command =
'sh ' +
path.join(__dirname, '../src/scripts/gearman.sh') +
' gearman-2.0.6' +
version +
' >/dev/null 2>&1'
// case '7.4gearman': // no 7.4 support for now, hope for 2.0.7
install_command =
'sh ' +
path.join(__dirname, '../src/scripts/gearman.sh') +
' gearman-2.0.6' +
version +
' >/dev/null 2>&1';
break;
default:
install_command =