diff options
| author | Jan Andre Ikenmeyer <jan@ikenmeyer.eu> | 2019-11-10 19:57:39 +0100 |
|---|---|---|
| committer | Jan Andre Ikenmeyer <jan@ikenmeyer.eu> | 2019-11-10 19:57:39 +0100 |
| commit | c241442aecaeff5d68a184c0f2b45814a53aea94 (patch) | |
| tree | 7b526ef1563b5773c0ee872ca478641797efa447 /python/servo/bootstrap.py | |
| parent | c71988e70bece64f83cd055cafa57025a92030c6 (diff) | |
| download | servo-c241442aecaeff5d68a184c0f2b45814a53aea94.tar.gz servo-c241442aecaeff5d68a184c0f2b45814a53aea94.zip | |
Fix Debian bootstrap
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 3a01f666a56..f65284073e9 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -385,7 +385,7 @@ def get_linux_distribution(): elif distrib.lower() not in [ 'centos', 'centos linux', - 'debian', + 'debian gnu/linux', 'fedora', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distrib) |