diff options
Diffstat (limited to 'indra')
| -rwxr-xr-x | indra/develop.py | 6 | 
1 files changed, 2 insertions, 4 deletions
| diff --git a/indra/develop.py b/indra/develop.py index d3defbdba1..1f9b08c59c 100755 --- a/indra/develop.py +++ b/indra/develop.py @@ -39,6 +39,7 @@ import re  import shutil  import socket  import sys +import commands  class CommandError(Exception):      pass @@ -535,16 +536,13 @@ class WindowsSetup(PlatformSetup):              finally:                  os.chdir(cwd) -      class CygwinSetup(WindowsSetup):      def __init__(self):          super(CygwinSetup, self).__init__()          self.generator = 'vc71'      def cmake_commandline(self, src_dir, build_dir, opts, simple): -        dos_dir = src_dir.split('/')[2:] -        dos_dir[0] = dos_dir[0] + ":" -        dos_dir = '/'.join(dos_dir) +        dos_dir = commands.getoutput("cygpath -w %s" % src_dir)          args = dict(              dir=dos_dir,              generator=self.gens[self.generator.lower()]['gen'], | 
