diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2019-05-30 15:56:54 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2019-06-11 15:53:35 -0400 |
| commit | 385b46cff735db4bb1d4b395a5d872a006a987aa (patch) | |
| tree | 58da01d4abcc4a63cd69d6991b19ef8903d4ae86 /python | |
| parent | b19cd5eb3a838c9e8dcf6f8b0e36c958930ebbcb (diff) | |
| download | servo-385b46cff735db4bb1d4b395a5d872a006a987aa.tar.gz servo-385b46cff735db4bb1d4b395a5d872a006a987aa.zip | |
Disable WGL for Windows arm64.
Diffstat (limited to 'python')
| -rw-r--r-- | python/servo/build_commands.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 013889f2d15..e6868cc6419 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -197,10 +197,12 @@ class MachCommands(CommandBase): default=None, action='store_true', help='Build with frame pointer enabled, used by the background hang monitor.') + @CommandArgument('--with-raqote', default=None, action='store_true') + @CommandArgument('--without-wgl', default=None, action='store_true') def build(self, target=None, release=False, dev=False, jobs=None, features=None, android=None, magicleap=None, no_package=False, verbose=False, very_verbose=False, debug_mozjs=False, params=None, with_debug_assertions=False, - libsimpleservo=False, with_frame_pointer=False): + libsimpleservo=False, with_frame_pointer=False, with_raqote=False, without_wgl=False): opts = params or [] @@ -291,6 +293,12 @@ class MachCommands(CommandBase): env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C force-frame-pointers=yes" features += ["profilemozjs"] + if with_raqote: + features += ["raqote_backend"] + + if without_wgl: + features += ["no_wgl"] + if self.config["build"]["webgl-backtrace"]: features += ["webgl-backtrace"] if self.config["build"]["dom-backtrace"]: |