Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-17 04:44:28 +00:00
Code Issues Projects Releases Packages Wiki Activity

Rename glutin port to winit

Browse source
This commit is contained in:
atouchet 2020-05-27 20:13:15 -07:00
parent 693ff29858
commit a33c75cbec
24 changed files with 12 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/servo/command_base.py
View file

@ -696,7 +696,7 @@ install them, let us know by filing a bug!")
# These are set because they are the variable names that build-apk
# expects. However, other submodules have makefiles that reference
# the env var names above. Once glutin is enabled and set as the
# the env var names above. Once winit is enabled and set as the
# default, we could modify the subproject makefiles to use the names
# below and remove the vars above, to avoid duplication.
if "ANDROID_SDK" in env:
@ -869,7 +869,7 @@ install them, let us know by filing a bug!")
api = "capi"
port = path.join("libsimpleservo", api)
else:
port = "glutin"
port = "winit"
args += [
"--manifest-path",
path.join(self.context.topdir, "ports", port, "Cargo.toml"),