diff options
| author | Samson <16504129+sagudev@users.noreply.github.com> | 2024-06-16 11:24:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-16 09:24:07 +0000 |
| commit | 8b35c4094a44e3d47ebfa5c7ff11b15ec6b22b05 (patch) | |
| tree | 6ab70cfef8dede5dc67fb6b9045168e73d2bc9fc /python/servo/package_commands.py | |
| parent | f0191c0a75a2a8ed82e13eeaa5f0c38ce0131cb2 (diff) | |
| download | servo-8b35c4094a44e3d47ebfa5c7ff11b15ec6b22b05.tar.gz servo-8b35c4094a44e3d47ebfa5c7ff11b15ec6b22b05.zip | |
Add `--with-asan` (#31429)
Diffstat (limited to 'python/servo/package_commands.py')
| -rw-r--r-- | python/servo/package_commands.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 762a0bb8ecb..558b5c58a85 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -143,7 +143,7 @@ class PackageCommands(CommandBase): action='store_true', help='Create a local Maven repository') @CommandBase.common_command_arguments(build_configuration=False, build_type=True) - def package(self, build_type: BuildType, android=None, target=None, flavor=None, maven=False): + def package(self, build_type: BuildType, android=None, target=None, flavor=None, maven=False, with_asan=False): if android is None: android = self.config["build"]["android"] if target and android: @@ -156,7 +156,7 @@ class PackageCommands(CommandBase): self.cross_compile_target = target env = self.build_env() - binary_path = self.get_binary_path(build_type, target=target, android=android) + binary_path = self.get_binary_path(build_type, target=target, android=android, asan=with_asan) dir_to_root = self.get_top_dir() target_dir = path.dirname(binary_path) if android: @@ -382,7 +382,7 @@ class PackageCommands(CommandBase): default=None, help='Install the given target platform') @CommandBase.common_command_arguments(build_configuration=False, build_type=True) - def install(self, build_type: BuildType, android=False, emulator=False, usb=False, target=None): + def install(self, build_type: BuildType, android=False, emulator=False, usb=False, target=None, with_asan=False): if target and android: print("Please specify either --target or --android.") sys.exit(1) @@ -392,7 +392,7 @@ class PackageCommands(CommandBase): env = self.build_env() try: - binary_path = self.get_binary_path(build_type, android=android) + binary_path = self.get_binary_path(build_type, android=android, asan=with_asan) except BuildNotFound: print("Servo build not found. Building servo...") result = Registrar.dispatch( @@ -401,7 +401,7 @@ class PackageCommands(CommandBase): if result: return result try: - binary_path = self.get_binary_path(build_type, android=android) + binary_path = self.get_binary_path(build_type, android=android, asan=with_asan) except BuildNotFound: print("Rebuilding Servo did not solve the missing build problem.") return 1 |