diff options
| author | Mukilan Thiyagarajan <mukilan@igalia.com> | 2024-08-05 20:12:21 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-05 14:42:21 +0000 |
| commit | 0ce9ce8dc02a9812795174890b507a7a7fb72fd4 (patch) | |
| tree | 3823340289ceee598f11ec477b487786aa728614 /python/mach_bootstrap.py | |
| parent | f1602005a085ec279a7280ccae1ea3ceffdb0eca (diff) | |
| download | servo-0ce9ce8dc02a9812795174890b507a7a7fb72fd4.tar.gz servo-0ce9ce8dc02a9812795174890b507a7a7fb72fd4.zip | |
mach: Add support for paths with spaces on Windows (#32936)
The default user name in Windows installations is of the form "FirstName
LastName", so it seems likely that there will be spaces in the user's
path. Based on my testing on Windows 11, the only Servo's bootstrap
script has trouble dealing with spaces in paths. This patch fixes that
by quoting such paths correctly. Our direct and indirect dependencies
seem to handle these without issue and Servo does build and run
correctly with this patch.
In this patch, the logic for gstreamer bootstrap now uses powershell
instead of directly invoking msiexec.exe via cmd.exe as I was unable to
get the installer to run correctly, even with quoting. Some extra hacks
were necessary to propagate the exit code correctly to mach.
Signed-off-by: Mukilan Thiyagarajan <mukilan@igalia.com>
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) |