Improve windows DLL packaging.

1 files changed, 5 insertions, 2 deletions

diff --git a/python/servo/command_base.py b/python/servo/command_base.py
index 6313fff9bfe..d39576fe9c9 100644
--- a/python/servo/command_base.py
+++ b/python/servo/command_base.py
@@ -367,7 +367,7 @@ class CommandBase(object):
     def get_gstreamer_path(self):
         return path.join(self.context.topdir, "support", "linux", "gstreamer", "gst")
 
-    def get_binary_path(self, release, dev, target=None, android=False, magicleap=False):
+    def get_binary_path(self, release, dev, target=None, android=False, magicleap=False, simpleservo=False):
         # TODO(autrilla): this function could still use work - it shouldn't
         # handle quitting, or printing. It should return the path, or an error.
         base_path = self.get_target_dir()
@@ -379,10 +379,13 @@ class CommandBase(object):
             binary_name = "libmlservo.a"
         elif android:
             base_path = path.join(base_path, "android", self.config["android"]["target"])
-            binary_name = "libsimpleservo.so"
+            simpleservo = True
         elif target:
             base_path = path.join(base_path, target)
 
+        if simpleservo:
+            binary_name = "simpleservo.dll" if sys.platform == "win32" else "libsimpleservo.so"
+
         release_path = path.join(base_path, "release", binary_name)
         dev_path = path.join(base_path, "debug", binary_name)