crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-19 13:24:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix distro

Browse Source
This commit is contained in:
crazywhalecc 2023-07-17 20:59:59 +08:00
parent 7408781d13
commit 5cf105c3a5
No known key found for this signature in database
GPG Key ID: 1F4BDD59391F2680
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/SPC/doctor/item/LinuxToolCheckList.php
View File

@ -57,7 +57,7 @@ class LinuxToolCheckList
if ($distro['dist'] === 'alpine') {
// check linux-headers installation
if (!file_exists('/usr/include/linux/mman.h')) {
return CheckResult::fail('linux-headers not installed on your system', 'install-linux-tools', ['alpine', ['linux-headers']]);
return CheckResult::fail('linux-headers not installed on your system', 'install-linux-tools', [$distro, ['linux-headers']]);
}
}
return CheckResult::ok();