Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-28 09:40:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #29862 - mukilan:default-to-layout-2020, r=jdm

Browse source 
Use layout 2020 by default

This PR switches `./mach build` to use layout 2020 by default. It doesn't switch the nightly builds served from download.servo.org to layout 2020. I can add that change to this PR if we are ready to make the switch in nightly builds as well.

- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #29843
- [x] These changes do not require tests because modify mach build configuration.
This commit is contained in:
bors-servo 2023-06-09 15:05:50 +02:00 • committed by GitHub
commit f63f981654
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/command_base.py
View file

@ -252,7 +252,7 @@ class CommandBase(object):
self.config["build"].setdefault("mode", "") self.config["build"].setdefault("mode", "")
self.config["build"].setdefault("debug-assertions", False) self.config["build"].setdefault("debug-assertions", False)
self.config["build"].setdefault("debug-mozjs", False) self.config["build"].setdefault("debug-mozjs", False)
self.config["build"].setdefault("layout-2020", False) self.config["build"].setdefault("layout-2020", True)
self.config["build"].setdefault("media-stack", "auto") self.config["build"].setdefault("media-stack", "auto")
self.config["build"].setdefault("ccache", "") self.config["build"].setdefault("ccache", "")
self.config["build"].setdefault("rustflags", "") self.config["build"].setdefault("rustflags", "")

2
servobuild.example
View file

@ -44,7 +44,7 @@ webgl-backtrace = false
dom-backtrace = false dom-backtrace = false
# Default to the “2020” implementation of CSS layout instead of the “2013” one. # Default to the “2020” implementation of CSS layout instead of the “2013” one.
layout-2020 = false layout-2020 = true
# Pick a media stack based on the target. Other values are "gstreamer" and "dummy" # Pick a media stack based on the target. Other values are "gstreamer" and "dummy"
media-stack = "auto" media-stack = "auto"