diff options
| -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) |