Merge from remote repo

1 files changed, 4 insertions, 0 deletions

diff --git a/indra/develop.py b/indra/develop.py
index 79baa613ad..05ad12f20e 100755
--- a/indra/develop.py
+++ b/indra/develop.py
@@ -578,12 +578,16 @@ class WindowsSetup(PlatformSetup):
         # devenv.com is CLI friendly, devenv.exe... not so much.
         return ('"%sdevenv.com" %s.sln /build %s' % 
                 (self.find_visual_studio(), self.project_name, self.build_type))
+        #return ('devenv.com %s.sln /build %s' % 
+        #        (self.project_name, self.build_type))
 
     def run(self, command, name=None, retry_on=None, retries=1):
         '''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]