Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix Debian bootstrap

Browse source
This commit is contained in:
Jan Andre Ikenmeyer 2019-11-10 19:57:39 +01:00
parent c71988e70b
commit c241442aec
No known key found for this signature in database
GPG key ID: 28F9E42748DD95AE
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/bootstrap.py
View file

@ -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)