Only add --manifest-path if not already present

python/servo/build_commands.py

@@ -256,7 +256,7 @@ def build(self, target=None, release=False, dev=False, jobs=None,
         self.ensure_bootstrapped(target=target)
         self.ensure_clobbered()
 
-        opts += ["--manifest-path", self.manifest_path(android, libsimpleservo)]
+        self.add_manifest_path(opts, android, libsimpleservo)
 
         if debug_mozjs:
             features += ["debugmozjs"]

python/servo/command_base.py

@@ -670,11 +670,14 @@ def package_dir(package):
     def ports_servo_crate(self):
         return path.join(self.context.topdir, "ports", "servo")
 
-    def manifest_path(self, android=False, libsimpleservo=False):
-        if libsimpleservo or android:
-            return self.ports_libsimpleservo_manifest()
-        else:
-            return self.ports_servo_manifest()
+    def add_manifest_path(self, args, android=False, libsimpleservo=False):
+        if "--manifest-path" not in args:
+            if libsimpleservo or android:
+                manifest = self.ports_libsimpleservo_manifest()
+            else:
+                manifest = self.ports_servo_manifest()
+            args.append("--manifest-path")
+            args.append(manifest)
 
     def ports_servo_manifest(self):
         return path.join(self.context.topdir, "ports", "servo", "Cargo.toml")

python/servo/devenv_commands.py

@@ -40,8 +40,7 @@ def run_cargo(self, params, check=False):
         if check:
             params = ['check'] + params
 
-        if "--manifest-path" not in params:
-            params += ["--manifest-path", self.ports_servo_manifest()]
+        self.add_manifest_path(params)
 
         build_start = time()
         status = self.call_rustup_run(["cargo"] + params, env=env)