diff options
| -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 3040b312ba..05ad12f20e 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -585,7 +585,9 @@ class WindowsSetup(PlatformSetup): '''Run a program. If the program fails, raise an exception.''' while retries: retries = retries - 1 + print "develop.py tries to run:", command ret = os.system(command) + print "got ret", ret, "from", command if ret: if name is None: name = command.split(None, 1)[0] |