Only build ports/servo by default (except Android), add `./mach build --libsimpleservo`

Fixes #21314

1 files changed, 8 insertions, 1 deletions

diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
index 8182f42dc9e..943281ecf2b 100644
--- a/python/servo/build_commands.py
+++ b/python/servo/build_commands.py
@@ -181,9 +181,14 @@ class MachCommands(CommandBase):
                      default=None,
                      action='store_true',
                      help='Enable debug assertions in release')
+    @CommandArgument('--libsimpleservo',
+                     default=None,
+                     action='store_true',
+                     help='Build the libsimpleservo library instead of the servo executable')
     def build(self, target=None, release=False, dev=False, jobs=None,
               features=None, android=None, no_package=False, verbose=False, very_verbose=False,
-              debug_mozjs=False, params=None, with_debug_assertions=False):
+              debug_mozjs=False, params=None, with_debug_assertions=False,
+              libsimpleservo=False):
 
         opts = params or []
 
@@ -251,6 +256,8 @@ class MachCommands(CommandBase):
         self.ensure_bootstrapped(target=target)
         self.ensure_clobbered()
 
+        opts += ["--manifest-path", self.manifest_path(android, libsimpleservo)]
+
         if debug_mozjs:
             features += ["debugmozjs"]