diff options
Diffstat (limited to 'python/servo/build_commands.py')
-rw-r--r-- | python/servo/build_commands.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index 6a8a1ceb8f0..a6c1e59199b 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -192,10 +192,14 @@ class MachCommands(CommandBase): default=None, action='store_true', help='Build the libsimpleservo library instead of the servo executable') + @CommandArgument('--with-frame-pointer', + default=None, + action='store_true', + help='Build with frame pointer enabled, used by the background hang monitor.') 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): + libsimpleservo=False, with_frame_pointer=False): opts = params or [] @@ -296,6 +300,9 @@ class MachCommands(CommandBase): if with_debug_assertions: env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C debug_assertions" + if with_frame_pointer: + env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C force-frame-pointers=yes" + if android: if "ANDROID_NDK" not in env: print("Please set the ANDROID_NDK environment variable.") |