diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py index b0f4ab95b64..0ba0e0343bb 100644 --- a/python/servo/build_commands.py +++ b/python/servo/build_commands.py @@ -39,6 +39,8 @@ class MachCommands(CommandBase): opts = [] if release: opts += ["--release"] + if target: + opts += ["--target", target] if jobs is not None: opts += ["-j", jobs]