changeset 34045 | bc71778a327d |
parent 34044 | 09afb1d49fe7 |
child 34078 | ada58d813783 |
--- a/src/Pure/System/isabelle_system.scala Wed Dec 09 21:25:07 2009 +0100 +++ b/src/Pure/System/isabelle_system.scala Wed Dec 09 21:55:14 2009 +0100 @@ -62,8 +62,8 @@ private val (platform_root, drive_prefix, shell_prefix) = { if (Platform.is_windows) { - val (root, drive) = Cygwin.config() - if (!Cygwin.check(root)) error("Bad Cygwin installation: " + root) + val root = Cygwin.check_root() + val drive = "/cygdrive" val shell = List(root + "\\bin\\bash", "-l") (root, drive, shell) }