From 3e163bfcdbe093470dbdea5d2d9b18a7a0c31239 Mon Sep 17 00:00:00 2001 From: "Ngo Iok Ui (Wu Yu Wei)" Date: Wed, 10 Jul 2024 23:50:27 +0900 Subject: shell: set `no-wgl` flag in servoshell instead (#32753) * Set no-wgl flag in servoshell instead Signed-off-by: Wu Yu Wei * Remove unused comment Signed-off-by: Wu Yu Wei --------- Signed-off-by: Wu Yu Wei --- python/servo/command_base.py | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'python/servo/command_base.py') 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"]: -- cgit v1.2.3