diff options
Diffstat (limited to 'python/mach_bootstrap.py')
| -rw-r--r-- | python/mach_bootstrap.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/mach_bootstrap.py b/python/mach_bootstrap.py index 41cf6dc810d..43690c3d951 100644 --- a/python/mach_bootstrap.py +++ b/python/mach_bootstrap.py @@ -215,8 +215,8 @@ def bootstrap(topdir): topdir = os.path.abspath(topdir) # We don't support paths with spaces for now - # https://github.com/servo/servo/issues/9442 - if ' ' in topdir: + # https://github.com/servo/servo/issues/9616 + if ' ' in topdir and (not _is_windows()): print('Cannot run mach in a path with spaces.') print('Current path:', topdir) sys.exit(1) |