diff options
| author | 6543 <6543@obermui.de> | 2023-06-01 17:06:18 +0200 |
|---|---|---|
| committer | 6543 <6543@obermui.de> | 2023-06-01 17:06:18 +0200 |
| commit | e36444b6cec4d7e99d6f9c9af96d9b1f0b569c37 (patch) | |
| tree | 9739c00fa44edd2af58602667f974a4fb424fb66 /python/servo/platform/linux.py | |
| parent | 13e1aeb8cf0c970728a9565c38cdfbd8b8bcae1b (diff) | |
| download | servo-e36444b6cec4d7e99d6f9c9af96d9b1f0b569c37.tar.gz servo-e36444b6cec4d7e99d6f9c9af96d9b1f0b569c37.zip | |
recognize artix as valid distribution
Diffstat (limited to 'python/servo/platform/linux.py')
| -rw-r--r-- | python/servo/platform/linux.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/servo/platform/linux.py b/python/servo/platform/linux.py index 5aca1a434ec..2e3a7d2a5c7 100644 --- a/python/servo/platform/linux.py +++ b/python/servo/platform/linux.py @@ -112,6 +112,7 @@ class Linux(Base): if self.distro.lower() not in [ 'arch linux', 'arch', + 'artix', 'centos linux', 'centos', 'debian gnu/linux', |