diff options
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index 9c94d7cfae9..21fcd967693 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -383,6 +383,7 @@ def get_linux_distribution(): 'debian gnu/linux', 'fedora', 'void', + 'nixos', ]: raise Exception('mach bootstrap does not support %s, please file a bug' % distrib) @@ -398,6 +399,11 @@ def bootstrap(context, force=False, specific=None): elif "linux-gnu" in host_triple(): distrib, version = get_linux_distribution() + if distrib.lower() == 'nixos': + print('NixOS does not need bootstrap') + print('just run ./mach build') + return + context.distro = distrib context.distro_version = version bootstrapper = LINUX_SPECIFIC_BOOTSTRAPPERS.get(specific, linux) |