diff options
| author | Jonathan Schwender <55576758+jschwe@users.noreply.github.com> | 2024-11-21 12:28:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-21 11:28:15 +0000 |
| commit | 80529ef3588a0e7cf32e9783d5cd671118627ec7 (patch) | |
| tree | 485a0f1f7d0846f9465b363b6e3bf908cc629aac /python/servo/command_base.py | |
| parent | 527e2d426d1101b281e5b30b870859d44425465a (diff) | |
| download | servo-80529ef3588a0e7cf32e9783d5cd671118627ec7.tar.gz servo-80529ef3588a0e7cf32e9783d5cd671118627ec7.zip | |
Add `medium` profile for daily work scenario (#34035)
- The standard `dev` mode is often too slow for daily work on servo
- Increasing the optimization level to 2 improves the performance noticably.
- Build time for opt-level = 1 is slightly higher than 2 on my machine
- Reducing debug info to `line-tables-only` improves link and build times,
while still keeping relevant info for backtraces.
Also extend .servobuild to allow setting custom cargo profiles instead
of just release and dev.
Signed-off-by: Jonathan Schwender <jonathan.schwender@huawei.com>
Diffstat (limited to 'python/servo/command_base.py')
| -rw-r--r-- | python/servo/command_base.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 1dcfe1e8408..1f8b6818c22 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -678,6 +678,10 @@ class CommandBase(object): elif self.config["build"]["mode"] == "release": print("No build type specified, but .servobuild specified `--release`.") return BuildType.release() + elif self.config["build"]["mode"] != "": + profile = self.config["build"]["mode"] + print(f"No build type specified, but .servobuild specified custom profile `{profile}`.") + return BuildType.custom(profile) else: print("No build type specified so assuming `--dev`.") return BuildType.dev() |