summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xindra/develop.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/indra/develop.py b/indra/develop.py
index b8fdd1a815..59722c4bc2 100755
--- a/indra/develop.py
+++ b/indra/develop.py
@@ -630,6 +630,8 @@ class WindowsSetup(PlatformSetup):
print >> open(stamp, 'w'), self.build_type
def run_build(self, opts, targets):
+ for t in targets:
+ assert t.strip(), 'Unexpected empty targets: ' + repr(targets)
cwd = getcwd()
executable, build_cmd = self.get_build_cmd()