summaryrefslogtreecommitdiff
path: root/indra
diff options
context:
space:
mode:
Diffstat (limited to 'indra')
-rwxr-xr-xindra/develop.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/indra/develop.py b/indra/develop.py
index 27c3d0ca2c..dc1190699c 100755
--- a/indra/develop.py
+++ b/indra/develop.py
@@ -587,6 +587,8 @@ class WindowsSetup(PlatformSetup):
def run(self, command, name=None, retry_on=None, retries=1):
'''Run a program. If the program fails, raise an exception.'''
assert name is not None, 'On windows an executable path must be given in name.'
+ if not os.path.isfile(name):
+ name = self.find_in_path(name)
while retries:
retries = retries - 1
print "develop.py tries to run:", command