diff options
Diffstat (limited to 'indra')
-rwxr-xr-x | indra/develop.py | 2 |
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() |