diff --git a/indra/develop.py b/indra/develop.py index 27c3d0ca2ceea803f9dce6f2fbd0f1a843422f47..dc1190699ce0f370259e3674188b0c09913ff2c4 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -587,6 +587,8 @@ def get_build_cmd(self): 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