diff options
| author | michaelgrigoryan25 <56165400+michaelgrigoryan25@users.noreply.github.com> | 2022-12-15 15:39:48 +0400 |
|---|---|---|
| committer | michaelgrigoryan25 <56165400+michaelgrigoryan25@users.noreply.github.com> | 2022-12-15 15:39:48 +0400 |
| commit | f8701c19bd50f63bc4d0921ca5156aa81bcd598f (patch) | |
| tree | bd3bd12b297de7043f8c806e6480ff7c7d80e8fb /python | |
| parent | 2a45f247c44117e4a13603a87a3b6304905f8d1f (diff) | |
| download | servo-f8701c19bd50f63bc4d0921ca5156aa81bcd598f.tar.gz servo-f8701c19bd50f63bc4d0921ca5156aa81bcd598f.zip | |
Arch Linux patch for mach tools.
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 3416b940a22..f14f9381a60 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -394,6 +394,8 @@ def get_linux_distribution(): 'fedora linux', 'void', 'nixos', + 'arch', + 'arch linux', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distrib) |