diff options
| -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'], |