changeset 54039 | c931190b8c5c |
parent 53582 | 8533b4cb8dd7 |
child 54645 | c19c83f49fa5 |
54038:f522477d671d | 54039:c931190b8c5c |
---|---|
125 } |
125 } |
126 |
126 |
127 def get_cygwin_root(): String = getenv_strict("CYGWIN_ROOT") |
127 def get_cygwin_root(): String = getenv_strict("CYGWIN_ROOT") |
128 |
128 |
129 |
129 |
130 |
|
130 /** file-system operations **/ |
131 /** file-system operations **/ |
131 |
132 |
132 /* jvm_path */ |
133 /* jvm_path */ |
133 |
134 |
134 private val Cygdrive = new Regex("/cygdrive/([a-zA-Z])($|/.*)") |
135 private val Cygdrive = new Regex("/cygdrive/([a-zA-Z])($|/.*)") |