diff --git a/indra/develop.py b/indra/develop.py
index a96ea0a6c9e52c32198d5a0b182ff4da176661d5..c3b1b126521a8cebb1bf7c478d94644839cedbc5 100755
--- a/indra/develop.py
+++ b/indra/develop.py
@@ -230,10 +230,12 @@ def os(self):
     def build_dirs(self):
         # Only build the server code if (a) we have it and (b) we're
         # on 32-bit x86.
+        platform_build = '%s-%s' % (self.platform(), self.build_type.lower())
+
         if self.arch() == 'i686' and self.is_internal_tree():
-            return ['viewer-' + self.platform(), 'server-' + self.platform()]
+            return ['viewer-' + platform_build, 'server-' + platform_build]
         else:
-            return ['viewer-' + self.platform()]
+            return ['viewer-' + platform_build]
 
     def find_in_path(self, name, defval=None, basename=False):
         for p in os.getenv('PATH', '/usr/bin').split(':'):