diff options
| author | Ngo Iok Ui (Wu Yu Wei) <yuweiwu@pm.me> | 2024-07-10 23:50:27 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-10 14:50:27 +0000 |
| commit | 3e163bfcdbe093470dbdea5d2d9b18a7a0c31239 (patch) | |
| tree | b19a9e2cde7ca88f39b15fdd090fd449ba22a4e1 /python | |
| parent | 313536fd82875cb73248b2ee0b91db903bac89c9 (diff) | |
| download | servo-3e163bfcdbe093470dbdea5d2d9b18a7a0c31239.tar.gz servo-3e163bfcdbe093470dbdea5d2d9b18a7a0c31239.zip | |
shell: set `no-wgl` flag in servoshell instead (#32753)
* Set no-wgl flag in servoshell instead
Signed-off-by: Wu Yu Wei <yuweiwu@pm.me>
* Remove unused comment
Signed-off-by: Wu Yu Wei <yuweiwu@pm.me>
---------
Signed-off-by: Wu Yu Wei <yuweiwu@pm.me>
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/command_base.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 71fe267e10e..d8adb293aa9 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -862,7 +862,6 @@ class CommandBase(object): action='store_true', help='Build with frame pointer enabled, used by the background hang monitor.', ), - CommandArgument('--without-wgl', group="Feature Selection", default=None, action='store_true'), CommandArgument( '--use-crown', default=False, @@ -982,7 +981,7 @@ class CommandBase(object): self, command: str, cargo_args: List[str], env=None, verbose=False, debug_mozjs=False, with_debug_assertions=False, - with_frame_pointer=False, without_wgl=False, + with_frame_pointer=False, use_crown=False, target_override: Optional[str] = None, **_kwargs @@ -1042,8 +1041,6 @@ class CommandBase(object): if with_frame_pointer: env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C force-frame-pointers=yes" features.append("profilemozjs") - if without_wgl: - features.append("no-wgl") if self.config["build"]["webgl-backtrace"]: features.append("webgl-backtrace") if self.config["build"]["dom-backtrace"]: |