diff options
| author | ruki <[email protected]> | 2024-05-31 08:33:46 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-05-31 08:33:46 +0800 |
| commit | 9743a0c611c3d94ba85c9001b4377621dfec91e8 (patch) | |
| tree | 3dffaa9e6b674a49278624ca61c76cff7b3a4ec5 | |
| parent | e13085ea9f4e9f45cb1a96555921ffce0076b4a3 (diff) | |
| parent | c64bb51684482ca6470c526574537a1755d99521 (diff) | |
Merge pull request #5172 from peeweep/gentoo-linuxos
add gentoo to linuxos
| -rw-r--r-- | xmake/core/base/linuxos.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/xmake/core/base/linuxos.lua b/xmake/core/base/linuxos.lua index c57a314d6..00b4a90f4 100644 --- a/xmake/core/base/linuxos.lua +++ b/xmake/core/base/linuxos.lua @@ -101,6 +101,8 @@ function linuxos.name() name = "ubuntu" elseif os_release:find("debian", 1, true) then name = "debian" + elseif os_release:find("gentoo linux", 1, true) then + name = "gentoo" elseif os_release:find("opensuse", 1, true) then name = "opensuse" elseif os_release:find("manjaro", 1, true) then |